The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme

LogiCS@TUWien - Logics for Computer Science

co-funded by the European Commission, offers 10 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical universities in Europe and the largest one in Austria. The Faculty of Informatics of TU Wien ranks among the top 20% research and teaching institutions in the field worldwide. In the heart of Europe, Vienna has a distinguished history in mathematics, computer science, and logic research and offers one of the highest living standards in the world.

The doctoral positions are open to international high-potential early-stage researchers with interest in working on Logical Methods in Computer Science and their applications, including:

  • Artificial Intelligence
  • Databases
  • Verification
  • Algorithms

The programme provides a 4-year long doctoral training for international PhD candidates within an English-language curriculum. LogiCS@TUWien will run for 60 months and foresees the recruitment of a further 10 PhD candidates. These new PhD candidates will each pursue research on one of the available projects (see and be supervised by:

  • Agata Ciabattoni
  • Thomas Eiter
  • Georg Gottlob
  • Magdalena Ortiz
  • Stefan Szeider
  • Georg Weissenbacher
  • Stefan Woltran
  • Florian Zuleger

After filling 10 positions in the first call, this is the second call for another 10 positions applications.

The application deadline for this call is April 30, 2022.

For details on how to apply, see this web page or watch this video.