Fully funded PhDs: Logical Methods in Computer Science – LogiCS

Logic in Austria

 TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for their joint doctoral program on Logical Methods in Computer Science (LogiCS).

Fields of research: Logical Methods in Computer Science – LogiCS

LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering
(i) computational logic,
(ii) databases and artificial intelligence,
(iii) computer-aided verification, and
(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.

PhD Positions and Funding

  • 16 doctoral students
  • 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.
  • Additional positions will be available through other funding.

How to Apply for LogiCS

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


Stefan Szeider and Georg Gottlob, the speakers.

Comments are closed.