Postdoc: Efficient abstractions for real time control communications
The SENTIENT project (funded by the European Research Council) develops efficient scheduling methods for networked event-triggered control systems. The …
- Mekelweg, Delft, Zuid-Holland
- Tijdelijk contract / Tijdelijke opdracht
- Uren per week:
- 38 - 38 uur
- € 3389 - € 4274 per maand
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.
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.
For more information about this position, please contact Dr. Manuel Mazo, email: firstname.lastname@example.org.
For information about the selection procedure, please contact Irina Bruckner, HR advisor, email: application-3mE@tudelft.nl.