PhD student position in foundations of networks, Vienna (Austria)

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 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.