New Project Adaptness: Looking for PhDs

Two PhD-Positions in FM, AI, and CT

The Cyber-Physical-Systems Division of the Faculty of Informatics at Technische Universität Wien, Vienna, Austria, is looking for two exceptional PhD students that will combine expertise in formal methods (e.g., runtime verification), artificial intelligence (e.g., machine learning, declarative languages) and control theory (e.g., optimal control).

The PhD students will be employed for the duration of 3 years (with possible extension) within an European Horizon 2020 project and with a salary corresponding to 40 hours/week, that is 2864 € gross.

The students are expected to develop tools and techniques that allow a CPS/IoT to autonomically reconfigure in case some of its hardware or software components fail during deployment or run-time.

The ideal candidates have a strong mathematical background and strong programing skills. They have a strong interest in formal methods, machine learning, control theory and state-of-the-art system design techniques, including continuous integration, deployment and delivery approaches for CPS/IoT.

Please submit your applications to the email address provided bellow.


Phone   +43 (1) 58801 - 18210


Cyber-Physical-Systems Division
Department of Computer Science
Technische Universität Wien
Treitlstraße 1-3, 1040 Vienna, Austria

Read more about the project...