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

Aalborg Universitet (AAU)

Ph.d. & forskning

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

* Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

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,

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, 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

Deadline / Ansøgningsfrist
02 Aug 2019

Login for at se hele opslaget

Dette jobopslag er kun tilgængeligt for vores brugere. Log ind eller opret en profil - det er gratis og tager kun to minutter.

Log ind med sociale medier

Log ind med din karriereprofil


Glemt kode Ny bruger

Ansøgningsfrist d. 02.08.2019

Angiv venligst i din ansøgning, at du har set opslaget i Akademikernes Jobbank

Ph.d. & forskning
Teknik & Teknologi
Data & analyse
Forskning & Udvikling
IT - Netværk & Telekomm.
IT - Software

Aalborg Universitet (AAU) - hurtigt overblik

Aalborg Universitet (AAU)
Aalborg Universitet (AAU)
AAU’s uddannelser og forskning er problem- og projektbaseret og har fokus på det tværdisciplinære. Gennem samarbejde mellem forskere, studerende og offentlige og private virksomheder udbyder vi virkelighedsnære uddannelser og skaber forskningsresultater i verdensklasse. Sådan opnår vi nye erkendelser, finder nye løsninger på samfundets problemer og skaber viden, der forandrer verden.

Fredrik Bajers Vej 5
9100 Aalborg
Logo: Aalborg Universitet (AAU)
Efterspørgsel efter nye talenter

Hvilke jobtyper og arbejdsområder udbyder vi normalt og hvor mange nye talenter søger vi efter?

Vores medarbejdere


ansatte med videregående uddannelse

færdiguddannede kandidater ansat sidste år

studerende og praktikanter ansat sidste år

Uopfordrede ansøgninger

Vi modtager IKKE uopfordrede ansøgninger
Facebook feed

Henter facebook feed...


Følg vores aktiviteter på LinkedIn.


Få mere info omkring vores virksomhed på vores egne websider:

Aalborg Universitet (AAU) i Google

Er der andre informationer om os, som du burde vide? Se, hvad en Google-søgning siger.