Logic in Austria

The program 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

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

How to Apply for LogiCS

Applications will be screened on the following dates:

• July 1, 2018
• September 1, 2018

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

Apply for Logical Methods in Computer Science – LogiCS

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