Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 10 fully funded PhD positions at TU Wien (Vien...


view this post on Zulip Email Gateway (Mar 24 2022 at 12:06):

From: Georg Weissenbacher <georg.weissenbacher@tuwien.ac.at>
Doctoral Candidates (University Assistants, Pre-Doc)
40 hours/week, limited for 4 years

The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral
training programme

LogiCS@TUWien - Logics for Computer Science
http://www.vcla.at/msca

is offering a further 10 full-time PhD positions. The program is
co-funded by the European Commission and 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-related research
and offers one of the highest living standards in the world.

The doctoral positions are open to international high-potential
early-stage researchers with an interest in working on Logical Methods
in Computer Science and their applications, including:

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 a
further 10 PhD candidates in addition to the 10 candidates recruited
in the first call. These new PhD candidates will each pursue research
on one of the available projects (see http://www.vcla.at/msca/topics/)
and be supervised by:

This is the second call for applications, after filling 10 positions
in the first call. The application deadline for this call is April 30,
2022.

For details on how to apply, see http://www.vcla.at/msca/apply or
watch the video at https://youtu.be/Aq0JGJ9eqzQ.


Last updated: Mar 28 2024 at 08:18 UTC