KTH Royal Institute of Technology

KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.

Job description

We are looking for a postdoc to conduct research in a multidisciplinary expedition project funded by Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden’s largest individual research program, addressing compelling research topics that promise disruptive innovations in AI, autonomous systems and software for several years to come.

The project combines Formal Methods and Human-Robot Interaction with the goal of moving from conventional correct-by-design control with simple, static human models towards the synthesis of correct-by-design and socially acceptable controllers that consider complex human models based on empirical data. Two demonstrators, an autonomous driving scenario and a mobile robot navigation scenario in crowded social spaces, are planned to showcase the advances made in the project.

The focus of this position is on the development of data-driven models of human behavior that can be integrated with formal methods-based systems to better reflect real-world situations, as well as in the evaluation of the social acceptability of such systems. 

The candidate will work under the supervision of Assistant Prof. Iolanda Leite (https://iolandaleite.com/) and in close collaboration with another postdoctoral researcher working in the field of formal synthesis.

This is a two-year position. The starting date is open for discussion, but ideally, we would like the selected candidate to start in November 2019.


A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline. 

Candidates should have a strong international publication record in areas such as (but not limited to) human-robot interaction, social robotics, multimodal perception, and artificial intelligence. Familiarity with formal methods, game theory, and control theory is an advantage.

Documented written and spoken English and programming skills are required. Experience with experimental design and statistical analysis is an important asset. Applicants must be strongly motivated, have the ability to work independently and possess good levels of cooperative and communicative abilities.

We look for candidates who are excited about being a part of a multidisciplinary team.

Great emphasis will be placed on personal competence and suitability.


Trade union representatives

You will find contact information to trade union representatives at KTH:s web page.


The application shall include the following documents:

  1. Curriculum vitae.
  2. Transcripts from University/ University College.
  3. A brief description of the candidate's research interests, including previous research and future goals (max 2 pages).
  4. Contact of two references. We will contact the references only for selected candidates.

Log into KTH's recruitment system in order to apply to this position. You are the main responsible to ensure that your application is complete according to the ad.

Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).


Gender equality, diversity and zero tolerance against discrimination and harassment are important aspects of KTH's work with quality as well as core values in our organization.

For information about processing of personal data in the recruitment process please read here.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

Type of employment Temporary position longer than 6 months
Contract type Full time
First day of employment In agreement with supervisor
Salary Monthly salary
Number of positions 1
Working hours 100%
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2019-1496
  • Iolanda Leite, Assistant professor, iolanda@kth.se
  • Sarah Kullgren, HR Officer, sarahku@kth.se
Published 03.Jun.2019
Last application date 13.Sep.2019 11:59 PM CET

Return to job vacancies