Postdoc position in formal synthesis for robotics at KTH
Postdoc Position in Formal Synthesis for Robotics at KTH Royal Institute of
We are looking for a postdoctoral researcher for a project that brings
together 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. The focus of this position is on the development of formal
control synthesis methods for autonomous systems that can be integrated with
data-driven models of human behavior to better reflect real-world situations.
The project will be carried on in a close collaboration with another
postdoctoral researcher, an expert in human-robot-interaction. 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.
Candidates should have completed, or be near completion of, a Doctoral degree
with a strong international publication record in areas such as (but not
limited to) formal synthesis, game theory, or multi-agent systems. Familiarity
with human-robot interaction, social robotics, and artificial intelligence are
an advantage. Documented written and spoken English and programming skills are
required. 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
This is a two-year position (with a possible extension for another two years).
The starting date is open for discussion, but ideally, we would like the
selected candidate to start in April 2019. Please note that the position does
not require experience with robotics, just genuine interest to learn about it.
The starting salary is 35KSEK/month.
More information as well as application instructions can be found here: