<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<pre>The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme
LogiCS@TUWien - Logics for Computer Science
<a href="http://www.vcla.at/msca">http://www.vcla.at/msca</a>
co-funded by the European Commission, will offer 20 full-time PhD positions. The</pre>
<pre>program is hosted by TU Wien, one of the most successful technical universities in</pre>
<pre>Europe and the largest one in Austria. The Faculty of Informatics of TU Wien is a leading</pre>
<pre>research and teaching institution which consistently ranks among the top 100 computer</pre>
<pre>science faculties in the global Times Higher Education ranking. In the heart of Europe,</pre>
<pre>Vienna has a distinguished history in mathematics, computer science, and logic research</pre>
<pre>and offers one of the highest living standards in the world.
</pre>
<pre>The doctoral positions are open to international high-potential early-stage researchers</pre>
<pre>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</pre>
<pre>candidates within an English-language curriculum. LogiCS@TUWien will run for 60</pre>
<pre>months and foresees the recruitment of 20 PhD candidates. The PhD candidates will be</pre>
<pre>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,</pre>
<pre>with an application deadline of December 30, 2021.
For details on how to apply, see <a href="http://www.vcla.at/msca/apply">http://www.vcla.at/msca/apply</a> or watch the video</pre>
<pre>at <a href="https://youtu.be/Aq0JGJ9eqzQ.">https://youtu.be/Aq0JGJ9eqzQ.</a></pre>
<p> </p>
<pre class="moz-signature" cols="72">--
Magdalena Ortiz
Assoc.Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien</pre>
</body>
</html>