<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<pre><span style="color: #ff0000;"><strong>Second Call for Applications for</strong></span></pre>
<pre><strong>Doctoral Candidates (University Assistants, Pre-Doc)
40 hours/week, limited for 4 years
</strong></pre>
<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>
is offering a further 10 full-time PhD positions. The program is co-funded by <span style="font-weight: 400;">the European</span></pre>
<pre><span style="font-weight: 400;">Commission </span>and 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
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 <span style="font-weight: 400;">the recruitment of </span><span style="font-weight: 400;">a further 10</span><span style="font-weight: 400;"> PhD candidates in addition
</span>
to the 10 candidates recruited in the first call. These new PhD candidates will</pre>
<pre>each pursue research on one of the <a href="http://www.vcla.at/msca/topics/">available projects</a> and be supervised by:
* Agata Ciabattoni
* Thomas Eiter
* Georg Gottlob
* Magdalena Ortiz
* Stefan Szeider
* Georg Weissenbacher
* Stefan Woltran
* Florian Zuleger
<span style="font-weight: 400;">This is the second call for applications, for which 10 out of the original 20</span></pre>
<pre><span style="font-weight: 400;">positions remain available. The application deadline for this call is April 30, 2022.</span>
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>
<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>