[DMANET] PhD Position in QBF Solving at TU Wien

The Algorithms & Complexity group at TU Wien invites applications for a PhD
position in computer science focused on QBF solving.

The PhD student will work with Friedrich Slivovsky and Stefan Szeider on
the project "Learning to Solve Quantified Boolean Formulas" funded by the
Vienna Science Fund (WWTF), which aims to provide a new perspective on QBF
solvers in terms of strategy learning.

This is a three-year full-time position that comes with a competitive
salary (approx. EUR 52,000.00 gross, p.a.). The expected starting date is
October 2020, but due to current circumstances, this is open to negotiation.

Applicants need to have or be close to obtaining a MSc degree or a 4-year
BSc degree in computer science or mathematics. They are expected to have a
strong background in an area of computational logic, solid programming
skills (preferably in C/C++), and a very good command of English.

The application deadline is July 20th, 2020 at midnight local time.

For a detailed description of the position and the application process, see

https://www.ac.tuwien.ac.at/qbfposition/

For further inquiries, contact Friedrich Slivovsky at fs@ac.tuwien.ac.at.

**********************************************************
*
* 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/
*
**********************************************************