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 algorithms and 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 algorithms in particular
and theoretical computer science in general. Knowledge about. formal
methods, model checking, and communication networks is a plus.

We offer a productive research environment and excellent contacts to other
universities as well as industry interested in this application domain.

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/flow/bew_ausschreibung-flow?_flowExecutionKey=_c9BBE3230-D8C0-763D-1475-5A5B068607F1_k02E5A25D-BE56-414D-61FF-F71AB6115CC3&tid=78403.28


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

-- 


Stefan Schmid

Professor, Computer Science

University of Vienna, Austria

Research Group: https://ct.cs.univie.ac.at/

Personal: https://www.univie.ac.at/ct/stefan/

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Virus-free.
www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>