[DMANET] PhD position on Speeding up Algorithms with Machine Learning (TU Wien, Vienna, Austria)

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. Possible 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 skills as well as interest in theoretical computer science. Background in ML and/or discrete algorithms and/or SAT-solving is of advantage.

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 <sz@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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************