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.
_______________________________________________
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai
