Postdoc position in Human-Robot Interaction, KTH Royal Institute of Technology, Stockholm
Application deadline: January 15, 2019
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 April 2019.
QUALIFICATIONS
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) 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, be able 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.
HOW TO APPLY
The application should include:
- Curriculum vitae.
- Transcripts from University/ University College.
- A brief description of the candidate’s research interests, including previous research and future goals (max 2 pages).
- Contact of two references. We will contact the references only for selected candidates.
The application documents should be uploaded using the KTH’s recruitment system:
https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:239307/where:4/
The application deadline is January 15, 2019.
ABOUT KTH
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 center 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 in architecture, industrial management, urban planning, history and philosophy.