16 PhD Positions in Austria

16 PhD Positions on Logical Methods in Computer Science

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in  Computer Science (LogiCS).  LogiCS has been established in 2014 and  currently includes 44 students.




LogiCS focuses on logic and its applications in computer science. Successful  applicants will work on interdisciplinary research topics covering

  • computational logic,
  • databases and artificial intelligence,
  • computer-aided verification, and
  • emerging application domains, such as cyber-physical systems,  distributed systems, and security & privacy.



Austria has a vibrant and highly active and successful logic in computer  science community. Students are supervised by leading researchers in their  fields:

M. Baaz, E. Bartocci, A. Biere,  R. Bloem, A. Ciabattoni,

T. Eiter, C. Fermueller, G. Gottlob, R. Grosu, L. Kovacs,

M. Maffei, M. Ortiz, R. Pichler, U. Schmid, M. Seidl,

S. Szeider, G. Weissenbacher, S. Woltran

Details are provided on http://logic-cs.at/faculty/



We are looking for 16 doctoral students, where 30% of the positions are  reserved for highly qualified female candidates.  The doctoral positions are  funded for a period of 4 years according to the funding scheme of the  Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/).
Additional positions will be available through other funding.



Detailed information about the application process is available on the  LogiCS web-page


The applicants are expected to have completed an excellent master’s degree  in computer science, mathematics, or a related field. Candidates with  comparable achievements (e.g., bachelor of honors) may be considered on a  case-by-case basis. Applications by the candidates need to be submitted  electronically.

The positions will be filled on continuous basis till October 2018.

The evaluation of applications will start on 1st of March, 2018.



Austria has a vibrant and highly active and successful logic in computer science  community. Vienna, Graz, and Linz, located close to the Alps, are  surrounded by beautiful nature. Vienna is constantly ranked the city with  the highest quality of life in the world. Austria has an exciting cultural  scene, world-famous historical sites, a large international community,  varied cuisine, and famous coffee houses.

For further information please contact: [email protected]