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