[TYPES/announce] Postdoc on verification of networks (Aalborg University, Denmark)

[Jiri Srba]

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.