AAU logo

Ledige stillinger

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

At the Technical Faculty of IT and Design, Department of Computer Science a position as Postdoc on Verification of Network Protocols is open for appointment from September 15, 2019 or soon hereafter. The position is available for two years. Department of Computer Science is a department with many coherent activities within research, education, technology, development and co-operation with the surrounding society, and  research dissemination within the computer science area. The department's research approach ranges from formal logic, over experimental construction to empirical description. The research in the department has computers, programming, as well as software- and computer systems as its field. The department offers a broad range of computer science educations at all levels as well as continued professional development.

Job description

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 is 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).

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.

A part of the postdoc position will be sponsored by ERC advanced grant LASSO of Kim G. Larsen.

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

Limited teaching within the area can be expected, but also in other study programmes at the University. 

You may obtain further professional information about the project, the conditions of life in Denmark in general from Professor Jiri Srba, srba@cs.aau.dk.

Qualification requirements:

Appointment as Postdoc presupposes scientific qualifications at PhD–level or similar scientific qualifications. The research potential of each applicant will be emphasized in the overall assessment. Appointment as a Postdoc cannot exceed a period of four years in total at Aalborg University.

The application must contain the following:

  • A motivated text wherein the reasons for applying, qualifications in relation to the position, and intentions and visions for the position are stated.
  • A current curriculum vitae.
  • Copies of relevant diplomas (Master of Science and PhD). On request you could be asked for an official English translation.
  • Scientific qualifications. A complete list of publications must be attached with an indication of the works the applicant wishes to be considered. You may attach up to 5 publications.
  • Dissemination qualifications, including participation on committees or boards, participation in organisations and the like.
  • Additional qualifications in relation to the position. References/recommendations.
  • Personal data.

The applications are only to be submitted online by using the "Apply online" button below. An assessment committee will assess all candidates.

AAU wishes to reflect the diversity of society and welcomes applications from all qualified candidates regardless of personal background or belief.

For further information concerning the application procedure please contact Lisbeth M. Palmelund, est-st-hr@adm.aau.dk or phone (+45) 9940 7553.

Information regarding guidelines, ministerial circular in force and procedures can be seen here. 


Employment is in accordance with the Ministerial Order on the Appointment of Academic Staff at Universities (the Appointment Order) and the Ministry of Finance's current Job Structure for Academic Staff at Universities. Employment and salary are in accordance with the collective agreement for state-employed academics.   

Vacancy number




Apply online
Stillinger efter kategori

Online ansøgning - gode råd

Online ansøgning - gode råd

Aalborg Universitet benytter et e-rekrutteringssystem til modtagelse af ansøgninger. I selve stillingsopslaget finder du nederst et link, som du skal benytte, når du ønsker at søge en stilling.

Inden du uploader en ansøgning, er det vigtigt, at du har al dokumentation klar i WORD- og/eller PDF- format, da du skal uploade alt på én gang. Du kan ikke forlade ansøgningen og vende tilbage efter et par timer uden at skulle starte forfra.

Systemet understøtter ikke ZIP-filer eller billedfiler. Filnavne må kun indeholde tal og bogstaver, og hvert enkelt dokument må maks. fylde 20 MB.

Hvis der opstår tekniske problemer, opfordrer vi til, at du prøver igen. Hvis de tekniske problemer mod forventning ikke kan løses, så kontakt venligst den medarbejder, som står nævnt som kontaktperson i stillingsopslaget.

Lær os at kende