There is an opening for a PhD position on innovative applications of SAT techniques (that includes, SAT, MaxSAT, (D)QBF, and related techniques), with theoretical and experimental objectives.

The position is within the new MSCA PhD program LogiCS@TUWien, is for 4 years each, and comes with an attractive full-time salary and traveling allowance.

Successful applicants will work under the supervision of Prof. Stefan Szeider on one of the research topics:

  • Computer Search in Discrete Mathematics
  • Formal Methods in Computational Social Choice
  • SAT-Based Methods for Explainable AI

See projects 10-12 for details on these topics.

Interested applicants can find instructions on how to apply online.

The application deadline is April 30, 2022.

Informal inquiries are welcome and should be directed to Stefan Szeider

Stefan Szeider, professor
Technische Universität Wien
Vienna, Austria