(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@cs.aau.dk.
**********************************************************
*
* 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/
*
**********************************************************
Posts
