Postdoc position in hybrid control of multi-robot systems, in the Division of Decision and Control Systems at the School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Sweden
Deadline to Apply
Jul 01, 2021 (23: 59 GMT +1)
|No. of Position(s)||1|
|Research Area||– hybrid control systems|
– distributed multi-robot control
– formal methods for robot control synthesis
|Salary||According to standard norms|
|Workplace||Division of Decision and Control Systems|
School of Electrical Engineering and Computer Science
KTH Royal Institute of Technology
|Contract Period||1 Year (can be extended for one year)|
|Starting date||According to agreement|
- A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline (With some exceptions for special reasons such as periods of sick or parental leave, kindly indicate if such reason exists in your resume).
- Candidates should have a doctoral degree related to at least one of the following research areas:
– hybrid control systems- distributed multi-robot control- formal methods for robot control synthesis
- The successful applicant needs to have research expertise with an excellent academic track record as well as outstanding research and publication record.
- Well-developed analytical and problem-solving skills are required.
- We are looking for a strongly motivated person, who can work well both 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 to present and publish research results.
- Awareness of diversity and equal opportunity issues, with specific focus on gender equality.
Great emphasis will be placed on personal competency.
Responsibilities/ Job Description
We are recruiting one Postdoc position in the general field of hybrid control for robotic systems. The successful candidate will join a research group that is focusing on new control design methodologies for hybrid systems combining tools from control theory and formal verification methodologies from computer science. The position is 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.
– 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.
– 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 with the SSF Smart System project COIN, the ERC Consolidator Grant LEAFHOUND and the EU project CANOPIES related to the topics discussed above.
How to Apply?
To apply please click “Login and Apply” button mentioned above
The application must include:
- CV including relevant professional experience and knowledge.
- 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.
- 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.
- 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.
About KTH Royal Institute of Technology
KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy.
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 The group has also strong financial support from the Swedish Foundation for Strategic Research, the Knut och Alice Wallenberg Foundation and the Swedish Research Council.
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
For information about processing of personal data in the recruitment process please read here.
Felicia Gustafsson, HR
Prof. Dimos Dimarogonas
Post expires at 8:59am on Friday July 2nd, 2021 (GMT+9)