Logic List Mailing Archive

Twenty PhD student positions in Logics for CS, Wien (Austria), Deadline: 30 Nov 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, 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 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 programme provides a 4-year long doctoral training for international 
PhD candidates within an English-language curriculum. LogiCS@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
* 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 will be published on October 1, 2021, with an application deadline of 
November 30, 2021. See http://www.vcla.at/msca for 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