<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<pre><span style="font-weight: 400;">The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral
</span>training programme
</pre>
<pre><span style="font-weight: 400;"> LogiCS@TUWien - Logics for Computer Science </span>
<span style="font-weight: 400;"> <a href="http://www.vcla.at/msca">http://www.vcla.at/msca</a></span>
<span style="font-weight: 400;">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.
</span><span style="font-weight: 400;">The doctoral positions are open to international high-potential
early-stage researchers, working on Logical Methods in Computer Science
and their applications, including: </span>
<span style="font-weight: 400;">* Artificial Intelligence </span>
<span style="font-weight: 400;">* Databases </span>
<span style="font-weight: 400;">* Verification </span>
<span style="font-weight: 400;">* Algorithms </span>
<span style="font-weight: 400;">* Security </span>
<span style="font-weight: 400;">* Cyber-Physical Systems</span>
<span style="font-weight: 400;">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: </span>
<span style="font-weight: 400;">* Ezio Bartocci</span>
<span style="font-weight: 400;">* Pavol Cerny </span>
<span style="font-weight: 400;">* Agata Ciabattoni</span>
<span style="font-weight: 400;">* Thomas Eiter </span>
<span style="font-weight: 400;">* Robert Ganian
</span>* Georg Gottlob
<span style="font-weight: 400;">* Laura Kovács</span>
<span style="font-weight: 400;">* Matteo Maffei</span>
<span style="font-weight: 400;">* Magdalena Ortiz</span>
<span style="font-weight: 400;">* Stefan Szeider</span>
<span style="font-weight: 400;">* Georg Weissenbacher </span>
<span style="font-weight: 400;">* Stefan Woltran</span>
<span style="font-weight: 400;">* Florian Zuleger </span>
<span style="font-weight: 400;">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 </span><a href="http://www.vcla.at/msca">http://www.vcla.at/msca</a><span style="font-weight: 400;"> for details.</span>
</pre>
</body>
</html>