[Event at CIG] 20 PhD posts in logical methods for CS

[Thomas Eiter]

[Apologies for cross postings]

Call 1 for Applications: 20 PhD (university assistant, pre-doc) positions 
for 4 years, closes December 30, 2021.

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral 
training program LogiCS at TUWien - Logics for Computer Science, 
http://www.vcla.at/msca co-funded by the European Commission, will offer 
20 full-time PhD positions. The program is hosted by TU Wien, one of the 
most successful technical universities in Europe and the largest one in 
Austria. The Faculty of Informatics of TU Wien is a leading research and 
teaching institution which consistently ranks among the top 100 computer 
science faculties in the global Times Higher Education ranking. In the 
heart of Europe, Vienna has a distinguished history in mathematics, 
computer science, and logic research and offers one of the highest living 
standards in the world.

The doctoral positions are open to international high-potential 
early-stage researchers working on Logical Methods in Computer Science and 
their applications, including:

* Artificial Intelligence * Databases * Verification * Algorithms * Security * 
Cyber-Physical Systems

The program provides a 4-year long doctoral training for international PhD 
candidates within an English-language curriculum. LogiCS at TUWien will run for 60 
months and foresees the recruitment of 20 PhD candidates. The PhD candidates 
will be supervised by:

* Ezio Bartocci
* Pavol Cerny
* Agata Ciabattoni
* Thomas Eiter
* Robert Ganian
* Georg Gottlob
* Laura Kovács
* Matteo Maffei
* Magdalena Ortiz
* Stefan Szeider
* Georg Weissenbacher
* Stefan Woltran
* Florian Zuleger

Two calls will accomplish the recruitment of the 20 positions. The first 
call is now open, with an application deadline of December 30, 2021.

For details on how to apply, see http://www.vcla.at/msca/apply or watch the 
video at https://youtu.be/Aq0JGJ9eqzQ.