Postdoc in hybrid control of multi-robot systems - Hiring in process/Finished, not possible to apply

Job description

We invite applications for up to two postdoctoral research positions in the general field of hybrid control for robotic systems. The successful candidates will join a research group that is focusing on new control design methodologies for hybrid systems combining tools from control theory, reinforcement learning and formal verification methodologies from computer science. The positions are associated with the following sub-topics:

- Distributed control synthesis from temporal logic specifications: develop control design tools for multi-agent systems to fulfill specifications given as temporal logic formulas from formal verification. In order to combine distributed control with formal methods, discrete abstractions of the distributed multi-agent system should be derived and agent dependencies should be accounted for.

- Human-in-the-loop robot control: A hybrid systems approach to the problem is considered where the human provides logical specifications to the robotic system that are translated to continuous control commands. The interaction is bidirectional in the sense that the human should update the input specification and the robotic system should adapt its feedback control in a real-time manner using reinforcement learning approaches.

- Multi-robot coordination and manipulation: develop control and task planning methodologies for heterogeneous multi-robot systems with different motion and manipulation capabilities. The robots may have different dynamics, state and input constraints and might or might not be equipped with manipulators for grasping and transportation objectives.

It is expected that the successful candidate will conduct research in the aforementioned research area, interact with doctoral and master students, and be involved in collaborative work in national and international projects. The position is associated to the H2020 EU Project Co4Robots, http://www.co4robots.eu/ , as well as the SSF Smart System project COIN, http://www.coinssf.se/, related to the topics discussed above.

Qualifications

Candidates should have (or be near completion) of a PhD related to at least one of the following research areas:

- hybrid control systems

- distributed multi-robot control

- formal methods for robot control synthesis

- learning-based multi-robot control.

In addition, previous participation in EU project research and management, proposal writing skills, as well as experience with real robotic platforms will be considered a merit.

The successful applicants should have an outstanding research and publication record. Well-developed analytical and problem solving skills are a requirement. We are looking for strongly motivated persons, who are able to work independently, as well as within a research group. Excellent command of English orally and in writing is required.

Great emphasis will be placed on personal competence and suitability.

Trade union representatives

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

Application

The application should contain the following:

• CV including relevant professional experience and knowledge.
• 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.
• 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.
• Representative publications or technical reports. Please provide online accessible links to the publication pdfs.
• At least two recommendation letters
• 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.