Postdoc in Formal Synthesis for Robotics - Hiring in process/Finished, not possible to apply

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. 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 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 candidate will work under the supervision of Assistant Prof. Jana Tumova in close collaboration with another postdoctoral researcher working in the field of human-robot interaction.

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) 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 multidisciplinary team. 

Trade union representatives

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

Application

The application should contain the following: 

1. CV including relevant professional experience and knowledge.
2. Copies of diplomas and grades from your previous university studies. Translations to English or Swedish if the original documents are not issued in one of these languages.
3. A brief explanation of why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
4. Two representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
5. Contact information for two reference persons. We reserve the right to contact 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).

Others

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.