Systeemarchitectuur van de toekomst voor de Nederlandse High-Tech
Ben jij een expert in formele methoden die de kloof wil overbruggen tussen academische innovatie en industriële toepassing? Bij TNO-ESI werk je direct samen met de wereldtop in de high-tech industrie (denk aan ASML, Philips en Canon) om de volgende generatie software-intensieve systemen vorm te geven. Maak jij het onmogelijke controleerbaar?
Jouw Impact als Research Fellow
Bij Embedded Systems Innovation (ESI), onderdeel van TNO, werk je op het snijvlak van wetenschap en industrie. Onze missie is het verhogen van de systeemengineering-competenties in de Nederlandse high-tech sector. Als Research Fellow Formal Methods word je onderdeel van een strategisch onderzoeksteam dat de grenzen van systeembeheersing verlegt.
Je brengt een groot deel van je tijd door op de locatie van onze industriële partners. Hier onderzoek je complexe vraagstukken rondom verification, simulation en controller synthesis. Jouw doel? Het inbedden van geavanceerde methodologieën om de uitdagingen van morgen op te lossen.
Jouw werkzaamheden:
- Onderzoek & Ontwikkeling: Je onderzoekt fundamentele problemen en ontwikkelt Proof of Concepts (PoCs) die de waarde van formele methoden in de praktijk aantonen.
- Controller Synthesis: Je werkt aan projecten waar requirement-modellen worden gebruikt om supervisory controllers te synthetiseren.
- Bridging the Gap: Je vertaalt complexe formele modellen naar Domain Specific Languages (DSLs) die aansluiten bij de belevingswereld van de eindgebruikers in de industrie.
- Strategisch Advies: Je demonstreert business value, brengt beperkingen in kaart en begeleidt de implementatie van nieuwe oplossingen binnen de organisatie van de partner.
