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/msca for details.
--
Magdalena Ortiz
Assoc. Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien
_______________________________________________
women-in-logic mailing list --
women-i...@lists.rwth-aachen.de
To unsubscribe send an email to
women-in-l...@lists.rwth-aachen.de