![]() |
ISCApad #258 |
Tuesday, December 10, 2019 by Chris Wellekens |
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 ASAP.
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:
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.
The application documents should be uploaded using the KTH's recruitment system:
The application deadline is ** September 13, 2019 **
-----------------
Iolanda Leite Assistant Professor KTH Royal Institute of Technology School of Electrical Engineering and Computer Science Division of Robotics, Perception and Learning (RPL) Teknikringen 33, 4th floor, room 3424, SE-100 44 Stockholm, Sweden Phone: +46-8 790 67 34 https://iolandaleite.com |
![]() | Back | ![]() | Top |