Technische Universität Wien, Faculty of Informatics - Institute of Logic and Computation

Position ID: 2846-PHD [#19277]
Position Title: 10 PhD Positions, 40 hours/week, fully funded, lim. for 4 years
Position Type: Student programs
Position Location: Vienna, Wien 1040, Austria [map]
Subject Area: Logical Methods in Computer Science
Starting Date: 2022/06/01
Application Deadline: (posted 2021/12/15, listed until 2022/04/30)
Position Description:    

*** the listing date or deadline for this position has passed. ***

Doctoral Candidates (University Assistants, Pre-Doc) 40 hours/week, limited for 4 years

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

LogiCS@TUWien - Logics for Computer Science

is offering a further 10 full-time PhD positions. The program is co-funded by the European Commission and 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 is a leading research and teaching institution which consistently ranks among the top 100 computer science faculties in the global Times Higher Education ranking. In the heart of Europe, Vienna has a distinguished history in mathematics, computer science, and logic-related 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 an 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 in addition

to the 10 candidates recruited in the first call. 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

This is the second call for applications, after filling 10 positions in the first call. The application deadline for this call is April 30, 2022.

For details on how to apply, see or watch the video at

We are not accepting applications for this job through Mathjobs.Org right now. Please apply at
Contact: Anna Prianichnikova
Postal Mail:
Favoritenstraße 9 - 11/ 1040 Wien
Web Page: