Logic List Mailing Archive

Twenty PhD student positions in Logics for Computer Science, Vienna (Austria), Deadline: 30 Dec 2021

The novel interdisciplinary Marie Sk?odowska-Curie COFUND doctoral training 
programme

LogiCS@TUWien - Logics for Computer Science
http://www.vcla.at/msca

co-funded by the European Commission, offers 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 
ranks among the top 20% research and teaching institutions in the field 
worldwide. In the heart of Europe, Vienna has a prominent 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 LogiCS@TUWien will run for 60 months and provides a 4-year long doctoral 
training for international PhD candidates within an English-language 
curriculum. 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 
opens on October 8, 2021, with an application deadline of December 30, 2021. 
See http://www.vcla.at/mscafor details.





--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam