[TYPES/announce] Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria

[Ezio Bartocci]

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

    LogiCS at TUWien - Logics for Computer Science  
     https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!ABUU5I4xCy6nnDmfbgjS5ItolJdde-fZz-1wIXnMMlKqqzxjkfwuLJZI5zcqBzgWM7pea7sYThWzDw$  <https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!ABUU5I4xCy6nnDmfbgjS5ItolJdde-fZz-1wIXnMMlKqqzxjkfwuLJZI5zcqBzgWM7pea7sYThWzDw$ >
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 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 will be published on October 1, 2021, with an application deadline 
of November 30, 2021. See https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!ABUU5I4xCy6nnDmfbgjS5ItolJdde-fZz-1wIXnMMlKqqzxjkfwuLJZI5zcqBzgWM7pea7sYThWzDw$  <https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!ABUU5I4xCy6nnDmfbgjS5ItolJdde-fZz-1wIXnMMlKqqzxjkfwuLJZI5zcqBzgWM7pea7sYThWzDw$ > for details.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210909/7973dbb6/attachment-0001.htm>