The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors.

-The research position is at the Faculty of Computer Science at the University of Vienna and is fully funded.(Employment contract)
-The candidate also has the opportunity to collaborate with Aalborg University, Denmark, and engage into longer visits, if she/he is interested: Aalborg University is a project partner.
-Additionally, the successful candidate will have the opportunity to collaborate with the doctoral program Logical Methods in Computer Science (LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian Science Fund.
-We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution. For an idea on the kind of research we are doing in this area, please see the sample publications attached below.


University of Vienna



The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain.

Educational level:

Master Degree

How to apply:

Please mention NLP People as a source when applying

To apply, please send your:

-Academic curriculum vitae
-motivation letter, and
-reference letters


Tagged as: , , ,