Logic in Austria

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.