NEW: Applications will be screened on the following dates: b) May 1, 2018 c) June 1, 2018 d) July 1, 2018 e) September 1, 2018. Applications can be submitted at any time, but the positions will be filled on continuous basis till October 2018.

Live and Study in Austria

The program

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.

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

Applications will be screened on the following dates:

• May 1, 2018
• June 1, 2018
• July 1, 2018
• September 1, 2018

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

Apply

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

Stefan Szeider and Georg Gottlob, the speakers.