比利时鲁汶大学计算机或电子工程方向博士后职位

比利时鲁汶大学计算机或电子工程方向博士后职位

Postdoc In Safe And Dependable Autonomous Systems

Katholieke Universiteit Leuven

Description

Postdoc in Safe and Dependable Autonomous Systems

(ref. BAP-2021-735)

Last modification : Monday, October 11, 2021

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

Responsibilities

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.

Profile

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.

Offer

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.

Interested?

Vulcontactpersonenaan in stap 1 "Context vacature" enhergenereerdezetekst.

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.