KTH is looking for a doctoral student to join a project focusing on development of planning and control techniques for autonomous systems, funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). The goal of the doctoral student will be to develop specification formalisms and formal synthesis algorithms allowing to reason about behavior of autonomous systems over extended time horizons, and to implement and evaluate these in robot testbeds. The doctoral student will be a part of the WASP graduate school.
The position is at the department of Robotics, Perception and Learning (RPL) at KTH 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 to exploration with UAVs or navigation around people.
Supervision: Jana Tumova is proposed to supervise the doctoral student. Decisions are made on admission.
