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, 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 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
* 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, seehttp://www.vcla.at/msca/apply or watch the 
video at https://youtu.be/Aq0JGJ9eqzQ.

-- 
Magdalena Ortiz
Assoc.Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien
--
[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