For more information please contact Prof. dr. Tom Holvoet, tel.: +32 16 32 76 38, mail: email@example.com or Mr. Tobias Mühlberg, tel.: +32 16 37 39 93, mail: firstname.lastname@example.org.You 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 diversiteit.HR@kuleuven.be.
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.
Successful candidates will actively seek to take a leading role in a broad research project. We expect you to:
We are looking for strong, enthusiastic researchers who must have
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.