There is an opening for a fully funded PhD position on the topic of Speeding up 
Algorithms with Machine Learning (ML) Methods at TU Wien, Vienna, Austria. The 
PhD student will join Prof. Stefan Szeider’s research group 
(https://www.ac.tuwien.ac.at) to develop and implement new methods for 
leveraging Machine Learning algorithms for improving the efficiency of 
algorithms for hard combinatorial problems. Research topics include: (i) 
ML-based algorithm selection and algorithm tuning, (ii) ML-based heuristics, 
and (iii)  ML-based problem encodings to SAT/SMT/QBF/ILP solvers.  Applicants 
are expected to have solid programming skill, interest in theory, as well as 
background in ML and/or SAT-solving.
The position is for the duration of three years (the expected duration for 
completing the PhD). The successful candidate will be part of the Doctoral 
Program on Logical Methods in Computer Science (http://logic-cs.at/phd/) and 
will have all the benefits from this program (including special courses and 
seminars, guest lectures, soft skill and career training courses, an 
international cohort of fellow students).   

Informal inquiries to Prof. Szeider <s...@ac.tuwien.ac.at> are welcome. The 
next deadline for applications is September 1st, 2018. Sending applications 
earlier, with cc to Prof. Szeider, is encouraged.
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai

Reply via email to