Research Fellow Formal Methods

Opdrachtomschrijving

Referentienummer: 2026-03069
Omgeving: Eindhoven
Startdatum: z.s.m.
Einddatum: 31 december 2026
Optie op verlenging: onbekend
Aantal uur per week: 40
Intakegesprek: nader te bepalen
Sluitingsdatum: maandag 13 april 2026 om 09.00 uur. Reacties na deze tijd zullen in principe niet worden meegenomen in het selectieproces.

*** is op zoek naar een Researcher Fellow Formal Methods voor 40 uur per week.

Je krijgt de unieke kans om de systeemtechnische competenties in de hightechindustrie naar een hoger niveau te tillen, voortbouwend op de kennis en inzichten die zijn gegenereerd door de onderzoeksprojecten van je collega's bij onze industriële partners (ASML, Canon, ITEC, Philips, Thales en Vanderlande).

Je maakt deel uit van een strategisch onderzoeksteam en werkt aan een van de TNO-ESI-onderzoeksprojecten, waar je nieuwe mogelijkheden verkent voor software-intensieve hightechsystemen en -applicaties. Deze onderzoeksteams werken voornamelijk bij de klant. Je werk valt onder de onderzoeksgroep Embedded Systems Innovation, waar je je richt op systeemtechniek met formele methoden, verificatie, simulatie en controllersynthese. Een van de doelstellingen van TNO-ESI is het implementeren van geavanceerde methodologieën om te voldoen aan de behoeften van de hightechindustrie. Momenteel lopen er binnen TNO-ESI verschillende projecten waarin de toepassing van formele methoden samen met industriële partners wordt onderzocht. Zo onderzoekt een van onze projecten bijvoorbeeld hoe vereistenmodellen kunnen worden gebruikt om supervisiecontrollers te synthetiseren. De gesynthetiseerde modellen worden verder gebruikt voor het genereren van systeemartefacten, implementatiestrategieën, maar ook voor formele verificatie van specifieke systeemaspecten (zoals de afwezigheid van deadlocks). Een belangrijk aspect bij het werken met formele methoden is hoe deze te vertalen naar een domeinspecifieke taal die beter aansluit bij de interesses en mogelijkheden van de beoogde gebruikers.

Jouw werk bestaat uit het onderzoeken van het probleem, het ontwikkelen van proof-of-concepts om het probleem aan te tonen, het ontwikkelen van verschillende scenario's voor oplossingen, het aantonen van de zakelijke waarde, beperkingen en voordelen van deze oplossingen en het helpen implementeren ervan in de industrie. Meer weten over ESI? Bekijk deze video met een introductie tot ESI.

Je bent een doelgerichte en zelfgemotiveerde professional die energie haalt uit het leveren van hoogwaardige resultaten en die graag leert van nieuwe ervaringen en collega's. Je hebt een passie voor het verbeteren van de werkwijze binnen de industriële systeemtechniek door de relevante competenties van individuen en teams te versterken. Je bent bekend met de methoden, processen en vereiste competenties van systeemarchitectuur/systeemtechniek. Je hebt een sterke achtergrond in formele methoden, met name modelcontrole, modelgebaseerd testen of Supervisory Controller Synthesis, en ervaring met het toepassen van theorie in de praktijk. Je hebt affiniteit met de hightechwereld en bent gefascineerd door de rol van de menselijke factor in innovatie en technologieontwikkeling. Tegelijkertijd ben je veerkrachtig in het licht van organisatorische en operationele moeilijkheden die inherent zijn aan de dynamiek van de hightechindustrie. Je kunt je snel aanpassen aan nieuwe inzichten uit onderzoek en veranderende behoeften binnen het toepassingsgebied.

Eisen bij de opdracht:

• Je hebt een academische graad, bij voorkeur een master of doctoraat in de informatica, wiskunde, elektrotechniek of een gelijkwaardige richting.

• Je hebt een combinatie van academische en professionele werkervaring.

• Je hebt affiniteit met en interesse in het oplossen van uitdagingen bij het ontwerpen van complexe hightechsystemen met behulp van nieuwe modelgestuurde methodologieën die efficiënte en effectieve engineeringprocessen mogelijk maken.

• Je hebt een sterke basis in MBSE, domeinspecifieke talen en formele methoden op ten minste één van de volgende gebieden: modelcontrole, synthese van supervisiecontrollers of modelgebaseerd testen.

• Je hebt bekendheid met ten minste één van de volgende formalismen: toestandsautomaten, Petri-netten, procesalgebra, gelabelde transitiesystemen of temporele logica.

• Je hebt bekendheid met ten minste één industriestandaard modelleertaal zoals SysML, BPMN of UML.

Competenties:

• Je kunt een groep energie geven.

• Je bekijkt zaken vanuit een systeemperspectief (bedrijf, klant, technologie).

• e kunt gesprekken tussen diverse groepen leiden en faciliteren om een ​​gemeenschappelijk onderzoeksdoel te bereiken.

Ben je enthousiast? Stuur dan je CV met een korte opdrachtgerichte motivatie.

Ons proces

Wij geloven in intensief persoonlijk contact en streven naar een nauwe samenwerking waarin wij met kennis van de opdrachtgever zorgen voor de beste match.

Wij behandelen binnen 24 uur je reactie en nemen vervolgens contact op om dit samen te bespreken. Bij een match worden de eisen en wensen van de opdracht smart uitgeschreven en adviseren we over de inhoud van je CV. Wij staan voor een heldere en transparante communicatie en trachten jou als professional volledig te ontzorgen tijdens het volledige proces.

Korte omschrijving van de organisatie