Vacant positions

Postdoc position in probabilistic machine learning

At the Technical Faculty of IT and Design, we are looking for a candidate for a postdoc position in the Distributed, Embedded, and Intelligent Systems group at the Department of Computer Science, Aalborg University, Denmark. The postdoc position is initially for one year, with the possibility of extension for up to 2 years based on mutual agreement.

Job description

The position is primarily associated with the cross-disciplinary project CLAIRE: Controlling water in an urban environment. Urban water environments are complex and distributed with processes operating on different scales. Observations and sensor measurements from water systems are sparse, giving an incomplete representation of the full system and providing only a partial basis for resource optimisation. The overall aim of CLAIRE is to combine machine learning and formal model checking techniques with water engineering to optimise water resources while also ensuring safe and sustainable management of these resources.
As a postdoctoral researcher in the project, you will develop probabilistic machine learning models and algorithms for doing the monitoring and prediction of water resources based on heterogeneous and distributed sensor data. The main focus will be on probabilistic machine learning (e.g., learning and inference in probabilistic graphical models), integrating qualitative and quantitative domain knowledge and possibly incorporating deep learning components. 
The developed models will be integrated into the formal model checking tool UPPAAL Stratego, which provides techniques for synthesising safe control strategies through a combination of formal model checking techniques and reinforcement learning.
As part of the project, you will work closely with researchers in machine learning and formal methods as well as researchers from water engineering.

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

Who are you?
- You have a PhD in computer science, statistics, or related field
- Experience with probabilistic machine learning
- Knowledge about methods for model checking and formal verification
- Good programming skills
- Publication record in peer-reviewed conferences and journals
- Excellent level of both written and spoken English
- Ability to work independently and in collaboration with others
The Computer Science Department at Aalborg University takes a leading international position within data management and verification. We have a strong international profile in Mathematics-Computer Science & Engineering, also hosting the two most highly cited Computer Scientists in the country.
Aalborg is an attractive student city located at the Fjord and close to the Sea. It is easily reached by train and via Aalborg Airport. Denmark, in general, and Aalborg in particular, is known for the excellent quality of life.
For more information, visit the website of the International Staff Unit (ISU) and Visit Aalborg.

You may obtain further professional information from Professor MSO Thomas Dyhre Nielsen and Professor Kim Guldstrand Larsen

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 Sanne V. Hejlesen by mail or phone (+45) 9940 3972.


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
Positions from category

Online application - some good advice

Online application - some good advice

Aalborg University uses an electronic recruitment system for receiving applications. Towards the bottom in the respective job advertisement you will find a link, which you need to use when applying for the position. Before uploading your application it is important that you have all relevant documentation ready in a Word or PDF format, as you need to upload all material at the same time. You cannot leave the application and return to it a couple of hours later without having to start over.

The system does not support ZIP or images files. Filenames can only contain numbers and letters, and each document must take up no more than 20 MB.

If you experience technical problems, we encourage you to try again. If the technical problems, contrary to expectation, cannot be solved, please contact the member of staff listed as the contact person in the job advertisement.