Postdoc in multi-robot planning & control under temporal logic tasks - Hiring in process/Finished, not possible to apply

Job description

The Division of Decision and Control Systems at the School of Electrical Engineering and Computer Science EECS, KTH, invites applications for a Postdoc position in the field of planning and control of multi-agent systems interacting with humans, based on formal verification languages. The successful candidate will join a research group that is focusing on new control methodologies for multi-robot systems. The position is associated with the following topic:

• Multi-agent planning and control with an emphasis on human-in-the-loop and formal languages based methods: Modelling the spatiotemporal awareness associated with a team of agents interacting with humans, through formal verification languages.
• Providing appropriate quantifiable robustness metrics and task decompositions to minimize the violations induced by the task conflicts between agents.
• Designing decentralized planning and decision-making algorithms according to the topological structure of the multi-agent system, to reduce the risks.

The ultimate goal of this project is to provide a comprehensive framework for situational awareness in multi-agent systems to support sustainable autonomy via agents that actively perceive risks associated with the dynamically changing environments and that collaborate with other robots and humans to improve their awareness and understanding while aiming at fulfilling complex and dynamically changing tasks.

This position is part of the Horizon-European Innovation Council (EIC) work programme project SymAware, a joint collaboration among four academic partners, including Uppsala University, Sweden, KTH, Sweden, TU Eindhoven, The Netherlands, and Newcastle University, UK, and two industrial partners, including Siemens (SISW), The Netherlands, and Royal Netherlands Aerospace Centre (NLR), The Netherlands.

What we offer

• A position at a leading technical university that generates knowledge and skills for a sustainable future
• Engaged and ambitious colleagues along with a creative, international and dynamic working environment
• Works in Stockholm, in close proximity to nature
• Help to relocate and be settled in Sweden and at KTH

Read more about what it is like to work at KTH

Qualifications

Requirements

• A doctoral degree or an equivalent foreign degree, This eligibility requirement must be met no later than the time the employment decision is made.

• Applicants should have a doctoral degree related to at least one of the following research areas:

  • Distributed multi-agent planning and control

  • Planning and control considering formal method approaches

  • Human-in-the-loop planning and control

• The successful applicant should have research expertise and an outstanding research and publication record.

• Well-developed analytical and problem solving skills are a requirement.

• We are looking for a strongly motivated person, who is able to work independently, as well as within a research group.

• Applicants also need to have teaching abilities.

• Excellent command of English orally and in writing is required.

Preferred qualifications

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

• It is commendable if you have awareness of diversity and equal opportunity issues, with specific focus on gender equality.

Great emphasis will be placed on personal competency.

Trade union representatives

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

Application

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.

The application must include:

1. CV including relevant professional experience and knowledge.
2. Copy of diplomas and grades from your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages.
3. Brief account of why you want to conduct research, your academic interests and how they relate to your previous studies and future goals. Max two pages long.

Your complete application must be received by KTH no later than the last day of application, midnight

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

About the employment

The position offered is for, at the most, two years.

A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation.

Others

Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

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.