[Job-offers-cs] Postdoc position on Verification of Network Protocols at Aalborg University (Denmark)

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc position on Verification of Network Protocols 
at Aalborg University (Denmark)
Date: Wed, 19 Jun 2019 19:45:14 +0200
From: Stefan Schmid <schmiste at gmail.com>
To: dmanet at zpr.uni-koeln.de

Postdoc position on Verification of Network Protocols at Aalborg 
University (Denmark)
------------------------------------------------------------


We are looking for a highly motivated researcher with interest in formal 
methods and their application to verification of computer networks in 
order to join a project on "Quantitative Analysis and Synthesis of 
Network Protocols" funded by the Independent Research Fund, Denmark. The 
goal of this project is to significantly advance the state-of-the-art of 
automatic network analysis and synthesis, with a particular focus on 
accounting for the possibility of failures and supporting efficient 
what-if analysis, as well as for the quantitative consequences on 
quality-of-service.

Applicants are required to demonstrate strong background and 
understanding in formal methods and in particular model checking and 
show willingness to apply these methods to the domain of computer 
networks. An experience with quantitative systems and programming skills 
are an advantage. The postdoc is expected to perform independent 
research, collaborate with team members, and help with the supervision 
of PhD and MSc students as appropriate.

The project is led by prof. Jiri Srba (Aalborg University) in 
collaboration with prof. Stefan Schmid (Vienna University), prof. Kim G. 
Larsen (Aalborg University) and assoc. prof. Nate Foster (Cornell 
University). A part of the position will be sponsored by ERC advanced 
grant LASSO of Kim G. Larsen. The postdoc will have the possibility for 
a number of short term visits to Vienna University in order to 
strengthen the collaboration between Aalborg and Vienna.

For an idea of the research conducted within the project, you may have a 
look at:

* P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
   http://www.cs.aau.dk/~srba/files/JKMSST:coNEXT:18.pdf

* Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
   http://www.cs.aau.dk/~srba/files/INFOCOM:SS:18.pdf

The position is for the duration of 2 years with the option of limited 
teaching duties within the area. The postdoc must have obtained a PhD 
degree before the appointment day. The salary will be in accordance with 
the collective agreement for state-employed academics.

The deadline for the application is on August 2nd, 2019 with the 
employment starting (after agreement) shortly after. The applications 
must be submited electronically at this link: 
https://www.stillinger.aau.dk/vis-stilling/?vacancy=1048567

For further information about the project, the conditions of the 
employment and life in Denmark contact prof. Jiri Srba at email 
srba at cs.aau.dk.