PhD Position in Safe and Dependable Autonomous Systems

Catholic University of Leuven

The project is a close collaboration between the DistriNet research group in Leuven and the M-Group in Bruges. The position is mainly located in the Leuven campus, with frequent meetings and visits to the Bruges campus. The DistriNet Research Group DistriNet is an internationally renowned research group of the KU Leuven. The group is part of the Department of Computer Science and of the KU Leuven Security and Privacy Competence Center. With a headcount of over 80 researchers, we have built up expertise on a wide range of topics such as distributed software and autonomous systems, formal specification and verification, middleware for cloud computing, network and software security, software for embedded systems and smart devices. For more information, visit us at About the M-Group Research Group The M-Group is focused on the growing demand, by builders and users, for machines and systems to more advanced and fully integrated mechatronic systems. With a headcount of 25+ junior researchers and 3 senior researchers, the team is fast growing. Our competences relevant for this project are in the field of software coding (resilient software behaviour, functional safety, model-based development, embedded software, etc.) and dependable electronics (electromagnetic compatibility, mission- and safety-critical systems, virtual and physical testing, mission- and safety-critical systems, etc.). For more information about our ongoing research projects and other open positions, visit us at


Safety is a crucial concern for autonomous systems like robots, cars, drones, off-road vehicles, etc. While a myriad of studies 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.

Besides this postdoc position, we are looking for PhD students who will study various topics on this platform, including safety requirements engineering, provably safe decision making, dependable middleware, and EMI-resilient hardware.

The role of the postdoctoral researcher in this project is (1) to conduct research in these domains - somewhat open for discussion, but with a tendency towards formal approaches, (2) to coordinate - in collaboration with the PIs - the project and the use case of a safe autonomous mobile robot.


For the postdoc position, we expect

  • a PhD degree in computer science,
  • strong software engineering knowledge and expertise (for the record, if you are unaware of the difference between software engineering and programming, abstain from applying),
  • knowledge and expertise in multiple topics in the following list: requirements engineering, system safety, formal methods and verification, automated planning, software engineering for robotics,
  • a strong academic track record in a related field (formal requirements engineering, safety engineering, specification and verification, automated planning),
  • an analytical mindset and technical skills,
  • optionally some industry experience,
  • fluent English communication skills.


We offer you...

  • a challenging research project on a topic that is cutting-edge and very timely!
  • a supportive and collaborative environment in which you can develop know-how and expertise in state-of-the-art technologies,
  • the opportunity to further develop research and innovation skills that are essential for a future career in industrial as well as academic research and development environments,
  • support in the further development of your competences to analyse strategic research problems and to architect and evaluate innovative solutions with industrial applicability,
  • a top-quality research and education environment at the KU Leuven High Tech Campuses in Leuven and Brugge.


For more information please contact Prof. dr. Tom Holvoet, mail:

You can apply for this job no later than October 30, 2020 via the
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at
  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: October 30, 2020
  • Tags: Computerwetenschappen