The SENTIENT project (funded by the European Research Council) develops efficient scheduling methods for networked event-triggered control systems. The research in this project is highly interdisciplinary, involving the fields of communications, control and computer science. Furthermore, the research has both theoretic as well as applied components, performed in in our laboratory testbeds on swarm robotics, water transport, and automotive.

This position is focused on the development of increased scalability and efficiency of the verification and synthesis tools developed in the team. The job entails both theoretical work: development of efficient abstraction methods exploiting the problem structure, and applied: construction of parallelizable tools, use of cloud computing platform, etc.

We are looking for a candidate with a PhD degree in computer science, systems and control, or applied mathematics with a focus on formal verification, and a strong interest in inter-disciplinary research. Experience with reachability of hybrid systems, parallelization, and the field of formal verification and synthesis in general, is a strong asset. The candidate must have strong analytical skills and must be able to work at the intersection of several research domains. A very good command of the English language is required, as well as excellent communication skills.

Fixed-term contract: Temporary, 2 years.

The TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. Coming to Delft Service organizes diverse events for new international employees and their accompanying partners, like Partner Career Workshops and Dutch Culture Workshops. Located on campus are the International Children’s Centre and an international primary school which are subject to availability as well as several bilingual schools in the nearby surrounding. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities.

TU Delft creates equal opportunities and encourages women to apply.  

Technische Universiteit Delft

Delft University of Technology (TU Delft) is a multifaceted institution offering education and carrying out research in the technical sciences at an internationally recognised level. Education, research and design are strongly oriented towards applicability. TU Delft develops technologies for future generations, focusing on sustainability, safety and economic vitality. At TU Delft you will work in an environment where technical sciences and society converge. TU Delft comprises eight faculties, unique laboratories, research institutes and schools.

Faculty Mechanical, Maritime and Materials Engineering

The 3mE Faculty trains committed engineering students, PhD candidates and post-doctoral researchers in groundbreaking scientific research in the fields of mechanical, maritime and materials engineering. 3mE is the epitome of a dynamic, innovative faculty, with a European scope that contributes demonstrable economic and social benefits.

The department Delft Center for Systems and Control (DCSC) of the faculty Mechanical, Maritime and Materials Engineering, coordinates the education and research activities in systems and control at Delft University of Technology. The Centers' research mission is to conduct fundamental research in systems dynamics and control, involving dynamic modelling, advanced control theory, optimisation and signal analysis. The research is motivated by advanced technology development in physical imaging systems, renewable energy, robotics and transportation systems.