School of Electrical Engineering and Computer Science at KTH

Project description

We look for a doctoral student to join a project in Minimal Assume-Guarantee Synthesis for Autonomous Robots. The goals of the PhD students will be to develop robot planning algorithms through research at the intersection of formal methods and human-robot interaction.

The position is at the division of Robotics, Perception and Learning (RPL) with Jana Tumova’s research group that focuses on designing planning, decision making, and control algorithms to enable safe, purposeful and trustworthy autonomous behavior. The core of our approach is the use of formal methods-inspired techniques that allow for rigorous specification of a rich set of goals, constraints, and preferences, and automated synthesis of plans, policies, and controllers with performance guarantees. We utilize them in applications ranging from autonomous driving, exploration with UAVs or navigation around people, to network control.

Third-cycle subject: Computer Science

Supervision: Associate Professor Jana Tumova.

What we offer

Admission requirements

To be admitted to postgraduate education (Chapter 7, 39 § Swedish Higher Education Ordinance), the applicant must have basic eligibility in accordance with either of the following:

  • passed a second cycle degree (for example a master's degree), or
  • completed course requirements of at least 240 higher education credits, of which at least 60 second-cycle higher education credits, or
  • acquired, in some other way within or outside the country, substantially equivalent knowledge

In addition to the above, there is also a mandatory requirement for English equivalent to English B/6.

Selection

In order to succeed as a doctoral student at KTH you need to be goal oriented and persevering in your work. During the selection process, candidates will be assessed upon their ability to:

  • independently pursue his or her work
  • collaborate with others,
  • have a professional approach,
  • analyse and work with complex issues and
  • program and use software for robotics.

The ideal candidate will have background in robotics, formal methods, or human-robot interaction. Such candidates will be prioritized. 

After the qualification requirements, great emphasis will be placed on personal skills.

Target degree: Doctoral degree

Information regarding admission and employment

Only those admitted to postgraduate education may be employed as a doctoral student. The total length of employment may not be longer than what corresponds to full-time doctoral education in four years ' time. An employed doctoral student can, to a limited extent (maximum 20%), perform certain tasks within their role, e.g. training and administration. A new position as a doctoral student is for a maximum of one year, and then the employment may be renewed for a maximum of two years at a time. In the case of studies that are to be completed with a licentiate degree, the total period of employment may not be longer than what corresponds to full-time doctoral education for two years.

Union representatives

Contact information for union representatives.

Doctoral section (Students’ union on KTH Royal Institute of Technology)

Contact information for doctoral section.

To apply for the position

Apply for the position and admission through KTH's recruitment system. It is the applicant’s responsibility to ensure that the application is complete in accordance with the instructions in the advertisement.

Applications must be received at the last closing date at midnight, CET/CEST (Central European Time/Central European Summer Time).

Applications must include the following elements:

  • CV including your relevant professional experience and knowledge.
  • Copies of diplomas and grades from previous university studies and certificates of fulfilled language requirements (see above). Translations into English or Swedish if the original document is not issued in one of these languages.Copies of originals must be certified.
  • Representative publications or technical reports. For longer documents, please provide a summary (abstract) and a web link to the full text.

Other information

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.

According to The Protective Security Act (2018-585), the candidate must undergo and pass security vetting if the position is placed in a security class. Information regarding whether the position is subject to such a classification will be provided during the recruitment process.

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.

 

 

Type of employment Temporary position
Contract type Full time
First day of employment According to agreement
Salary Monthly salary according to KTH's doctoral student salary agreement
Number of positions 1
Full-time equivalent 100%
City Stockholm
County Stockholms län
Country Sweden
Reference number J-2024-3187
Contact
  • Associate Professor Jana Tumova, tumova@kth.se
  • Lisa Olsson HR Officer, rekrytering@eecs.kth.se
Published 05.Dec.2024
Last application date 20.Dec.2024 11:59 PM CET

Return to job vacancies