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.