[PlanetKR] 20 PhD positions in Logics for Computer Science at TU Wien - deadline 30 Dec

[Magdalena Ortiz]

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

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 programme 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, seehttp://www.vcla.at/msca/apply  or watch the video

athttps://youtu.be/Aq0JGJ9eqzQ.

-- 
Magdalena Ortiz
Assoc.Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20211129/ce2ff4b9/attachment.htm>