Postdoc on verification of networks (Aalborg University, Denmark)

by srba, June 17, 2019

We are looking for a two-year postodc with interest in formal methods
and their application to verification of computer networks. 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.

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 [email protected]