[robotics-worldwide] [jobs] Doctoral student position at KTH
tumova at kth.se
Tue Mar 6 03:18:43 PST 2018
KTH Royal Institute of Technology announces a doctoral student position in formal methods for robotics at the department of Robotics, Perception and Learning (RPL): https://urldefense.proofpoint.com/v2/url?u=https-3A__intra.kth.se_en_anstallning_lediga-2Djobb-2Dinternt_what-3Ajob_jobID-3A194203_where-3A4_&d=DwIFAg&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=XFj_bV5PkCDG9rG4EWHwn_1o_5C0e8I2mYGAWz2_8w8&s=OQZH_NDlYC0aPdLvpRlO2Ltrsi3yE8bOq2v8O3QNsrM&e=
Job description: The successful applicant will join a new project focused on compositional planning for multi-agent systems under temporal logic goals via adviser-strategy synthesis. The goal of the project is to utilize temporal logics, formal verification techniques, and game theory to automatically synthesize planning strategies for both collaborative and competitive multi-agent systems. Applications of the research include, but are not limited to autonomous mobile robot task and motion planning.
Qualifications: A suitable background for this position would be a Master of Science in computer science, computer engineering, robotics, technical physics or similar, preferably with a specialization in formal methods for verification or synthesis, artificial intelligence, or hybrid systems. Experience with ROS, automatic control, and game theory is also helpful.
Application deadline: April 15th, 2018.
Assistant Professor, KTH Royal Institute of Technology
Department of Robotics, Perception, and Learning (RPL)
Teknikringen 14, floor 6, room 622
SE 100-44 Stockholm
Email: tumova at kth.se<mailto:tumova at kth.se>
More information about the robotics-worldwide