Two PhD student positions & one postdoctoral position on formal methods, Leuven (Belgium)

Safety is a crucial concern for autonomous systems like robots, cars, drones, off-road vehicles, etc. While a myriad of studies in autonomous systems today focus on perception and control, the new project called 'SAFETEE' project aims for a vertical, in-depth study of a full-stack software platform for decision making.

To strengthen our project team, we are looking for new colleagues - two PhD researchers and one postdoctoral researcher:
1. PhD position on requirements engineering for safety in autonomous systems
2. PhD position on formal specification and verification of safe behaviour decision making of autonomous agents
3. Postdoc position on formal specification and verification of safety in autonomous systems (incl. on requirements and decision making).
All are for 4 years full-time positions (with intermediate evaluation). The positions start from January 1, 2021 (open for negotiation).