[DMANET] Open PhD position: Formal Methods for Reliable Networks

Dear all,

We are looking for a motivated student interested in pursuing a PhD on
developing the foundations of a 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. 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.

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.

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.

To apply, please send your CV, motivation letter and reference letters to
me by email, or use the online portal at
https://univis.univie.ac.at/ausschreibungstellensuche/ .

Please do not hesitate to contact me for any further information, And
please do distribute this email to colleagues and students who may be
interested.

Thank you,

Stefan Schmid (in collaboration with Kim G. Larsen and Jiri Srba at Aalborg
University)

PS: More information about our research group at:
https://ct.cs.univie.ac.at/

Some related papers:

P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan
Schmid, Jiri Srba, and Marc Tom Thorgersen.
14th ACM International Conference on emerging Networking EXperiments and
Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018.
https://www.univie.ac.at/ct/stefan/conext18.pdf

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
Stefan Schmid and Jiri Srba.
37th IEEE Conference on Computer Communications (INFOCOM), Honolulu,
Hawaii, USA, April 2018.
https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************