Ledige stillinger

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 tdn@cs.aau.dk and Professor Kim Guldstrand Larsen kgl@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 Sanne V. Hejlesen by mail est-st-hr@adm.aau.dk 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



Fri Dec 18 00:00:00 CET 2020

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