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

The Division of Decision and Control Systems at the School of Electrical Engineering and Computer Science of KTH, conducts research in networked control systems, robotics, control of communication systems, systems biology and system identification. Much of the research is conducted within EU projects, as well as within the inter-departmental centers CAS and ACCESS Linnaeus Centre. The group has also strong financial support from the Swedish Foundation for Strategic Research, the Knut & Alice Wallenberg Foundation and the Swedish Research Council.

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.

- Event-triggered control of multi-agent systems: develop distributed event-driven strategies for resource-efficient control and coordination of multi-agent systems. The dynamics of each agent may be modeled by a nonlinear dynamical system with limited control and communication capabilities.

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.

Qualifications
Applicants must hold or be about to receive a doctoral degree in EE or CS (or equivalent). The doctoral degree must have been obtained within the last three years from the application deadline (some exceptions for special grounds, for instance sick leave and parental leave). The candidates should have a strong background from at least one of the areas

- Hybrid control systems 

- Event-triggered control of multi-agent 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 applicant should have 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. Excellent command of English orally and in writing is required.

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

Application
The application should contain the following:

1. Full curriculum vitae including your relevant academic and professional experience.
2. List of publications indicating and providing links to five of them that are most relevant to the position.
3. Research statement, also in relation to the position, maximum 2 pages long.
4. Contact information for two professional references.

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.