<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><pre class="">The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme
LogiCS@TUWien - Logics for Computer Science
<a href="https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_ghPdDb4cw$" class="">http://www.vcla.at/msca</a>
co-funded by the European Commission, will offer 20 full-time PhD positions. The</pre><pre class="">program is hosted by TU Wien, one of the most successful technical universities in</pre><pre class="">Europe and the largest one in Austria. The Faculty of Informatics of TU Wien is a leading</pre><pre class="">research and teaching institution which consistently ranks among the top 100 computer</pre><pre class="">science faculties in the global Times Higher Education ranking. In the heart of Europe,</pre><pre class="">Vienna has a distinguished history in mathematics, computer science, and logic research</pre><pre class="">and offers one of the highest living standards in the world.
</pre><pre class="">The doctoral positions are open to international high-potential early-stage researchers</pre><pre class="">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 class="">candidates within an English-language curriculum. LogiCS@TUWien will run for 60</pre><pre class="">months and foresees the recruitment of 20 PhD candidates. The PhD candidates will be</pre><pre class="">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 class="">with an application deadline of December 30, 2021.
For details on how to apply, see <a href="https://urldefense.com/v3/__http://www.vcla.at/msca/apply__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gi38ifjPA$" class="">http://www.vcla.at/msca/apply</a> or watch the video</pre><pre class="">at <a href="https://urldefense.com/v3/__https://youtu.be/Aq0JGJ9eqzQ.__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gg4K0c-nQ$" class="">https://youtu.be/Aq0JGJ9eqzQ.</a></pre><pre class=""><br class=""></pre><pre class=""><br class=""></pre><pre class="">-- <br class=""><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">Univ.-Prof. Dr. Ezio Bartocci</div><div class=""><div class="">Full Professor of Formal Methods for </div><div class="">Cyber-Physical Systems Engineering</div></div><div class=""><br class=""></div><div class="">Faculty of Informatics, TU Wien<br class="">Treitlstraße 3, 1040 Vienna, Austria<br class="">E-Mail: <a href="mailto:ezio.bartocci@tuwien.ac.at" target="_blank" class="">ezio.bartocci@tuwien.ac.at</a><br class="">Phone: +43 (1) 58801 - 18226<br class="">Website: <a href="https://urldefense.com/v3/__http://www.eziobartocci.com/__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gizrCGLcQ$" target="_blank" class="">http://www.eziobartocci.com</a></div></div></div></div></div><br class="Apple-interchange-newline"></pre><div class=""><br class=""></div></body></html>