[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training
programme
LogiCS@TUWien - Logics for Computer Science
https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_ghPdDb4cw$
<https://urldefense.com/v3/__http://www.vcla.at/msca__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_ghPdDb4cw$
>
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 is
a leading
research and teaching institution which consistently ranks among the top 100
computer
science faculties in the global Times Higher Education ranking. In the heart of
Europe,
Vienna has a distinguished 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@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
is now open,
with an application deadline of December 30, 2021.
For details on how to apply, see
https://urldefense.com/v3/__http://www.vcla.at/msca/apply__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gi38ifjPA$
<https://urldefense.com/v3/__http://www.vcla.at/msca/apply__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gi38ifjPA$
> or watch the video
at
https://urldefense.com/v3/__https://youtu.be/Aq0JGJ9eqzQ__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_ghO_eD9vw$
.
<https://urldefense.com/v3/__https://youtu.be/Aq0JGJ9eqzQ__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_ghO_eD9vw$
.>
--
Univ.-Prof. Dr. Ezio Bartocci
Full Professor of Formal Methods for
Cyber-Physical Systems Engineering
Faculty of Informatics, TU Wien
Treitlstraße 3, 1040 Vienna, Austria
E-Mail: [email protected] <mailto:[email protected]>
Phone: +43 (1) 58801 - 18226
Website:
https://urldefense.com/v3/__http://www.eziobartocci.com__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gg2oF-LCQ$
<https://urldefense.com/v3/__http://www.eziobartocci.com/__;!!IBzWLUs!CHLnwsSKt1aWJYiKI8n6Qb9fKAUQZdTp-tpqDlvHJP4_O7jzHqM6lNbJNd1ACDMiFSiz_gizrCGLcQ$
>
