12 October 2021

Get in touch!


For more information please contact Prof. dr. Tom Holvoet, tel.: +32 16 32 76 38, mail: or Mr. Tobias Mühlberg, tel.: +32 16 37 39 93, mail: can apply for this job no later than January 03, 2022 via the online application tool

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

(ref. BAP-2021-735)

Apply before 03 January 2022

DistriNet is a research group at the Department of Computer Science of the KU Leuven. The extensive expertise of DistriNet focuses on two key research domains: Distributed Systems and Secure Software. Research on software engineering techniques is performed in both domains. In collaboration with the KU Leuven research groups COSIC and CiTiP, DistriNet forms a leading Cybersecurity research centre

We seek to expand our team with a postdoc who will coordinate research efforts that aim for a vertical, in-depth study of a full-stack dependable computing platform for autonomous systems. You will be working specifically on safety requirements engineering, safety arguments and safety cases for complex scenarios, and formal specification and verification/assurance, with an Autonomous Mobile Robot use-case as driver.

Website unit


Successful candidates will actively seek to take a leading role in a broad research project. We expect you to:

  • coordinate research efforts in autonomous systems, oversee the development of prototypes, and foster synergies and collaboration in the project;
  • support and co-supervise PhD students across the project domains;
  • develop your own research agenda, ideally this should be aligned with our work on autonomous systems;
  • support educational tasks (teaching, supervision of project students, etc.) of the department and the research group.

We are looking for strong, enthusiastic researchers who must have

  • a PhD in Computer Science or Electrical Engineering (or equivalent) with a background in autonomous systems safety and security, autonomous decision making, or enhancing reliability and dependability of critical code execution;
  • a clear interest in and experience with autonomous safety-critical systems;
  • a proven & convincing track record in the above domains (e.g. A-level publications);
  • a team player attitude and the capability to collaborate in an international research team;
  • excellent English communication skills, both oral and written.

We offer a position as postdoc researcher at KU Leuven in a very dynamic and internationally oriented research group at one of the best universities in Europe. The duration of the appointment is four years.