Twenty PhD student positions in Logics for CS, Vienna (Austria)

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme "LogiCS@TUWien - Logics for Computer Science", co-funded by the European Commission, will offer 20 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 doctoral positions are open to international high-potential early-stage researchers, working on Logical Methods in Computer Science and their applications, including: Artificial Intelligence, Databases, Verification, Algorithms, Security, and Cyber-Physical Systems.

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 20 PhD candidates. The PhD candidates will be supervised by Ezio Bartocci, Pavol Cerny. Agata Ciabattoni. Thomas Eiter, Robert Ganian, Laura Kovács, Matteo Maffei, Magdalena Ortiz, Stefan Szeider, Georg Weissenbacher, Stefan Woltran and Florian Zuleger.