Research Fellow Formal Methods

Over deze vacature

Je krijgt de unieke kans om de systems engineering-competenties in de hightech-industrie naar een hoger niveau te tillen, voortbouwend op de kennis en inzichten die zijn opgedaan in onderzoeksprojecten bij onze industriepartners (ASML, Canon, ITEC, Philips, Thales en Vanderlande).

Wat ga je doen?

Je maakt deel uit van een strategisch onderzoeksteam en werkt aan een van de TNO-ESI-onderzoeksprojecten, waarin je nieuwe mogelijkheden verkent voor softwaregedreven hightech-systemen en -toepassingen. Deze onderzoeksteams werken een groot deel van hun tijd op locatie bij de klant. Je werkt binnen het onderzoekscluster Embedded Systems Innovation, op het thema systems engineering met een focus op formele methoden, verificatie, simulatie en softwaresynthese. Een van de doelstellingen van TNO-ESI is het inbedden van geavanceerde methodologieën om industriële vraagstukken in de hightech-industrie op te lossen.

Op dit moment lopen er binnen TNO-ESI meerdere projecten waarin de toepassing van formele methoden samen met industriepartners wordt onderzocht. Zo onderzoekt een van onze projecten hoe eisenmodellen kunnen worden gebruikt om supervisory controllers te synthetiseren. De gesynthetiseerde modellen worden vervolgens ingezet voor het genereren van systeemartefacten, implementatiestrategieën en formele verificatie van specifieke systeemaspecten (zoals de afwezigheid van deadlocks). Een belangrijk aspect bij het werken met formele methoden is hoe deze vertaald kunnen worden naar een domeinspecifieke taal die beter aansluit bij de interesses en capaciteiten van de beoogde gebruikers.

Je werk bestaat uit het onderzoeken van het vraagstuk, het ontwikkelen van proofs of concept om het probleem aan te tonen, het uitwerken van verschillende oplossingsscenario's, het aantonen van de bedrijfswaarde, beperkingen en voordelen van deze oplossingen, en het bijdragen aan de implementatie ervan in de industriepraktijk.

Wat wij van jou verwachten

Je bent een doelgerichte en gedreven professional die energie haalt uit het leveren van hoogwaardige resultaten en openstaat voor nieuwe ervaringen en het leren van collega's. Je bent gepassioneerd over het verbeteren van de industriële systems engineering-werkwijze door relevante competenties van individuen en teams te versterken. Je bent vertrouwd met methoden, processen en vereiste competenties op het gebied van systems architecting en systems engineering. Je hebt een sterke achtergrond in formele methoden en ervaring met het toepassen van theorie in de praktijk. Je hebt affiniteit met de hightech-wereld en bent gefascineerd door de rol van menselijke aspecten in innovatie en technologieontwikkeling. Tegelijkertijd ben je veerkrachtig wanneer je te maken krijgt met organisatorische en operationele uitdagingen die inherent zijn aan de dynamiek van de hightech-industrie. Je kunt je snel aanpassen aan nieuwe inzichten uit onderzoek en veranderende behoeften vanuit het toepassingsdomein.

• Je hebt een academisch diploma, bij voorkeur een master of PhD in Informatica, Wiskunde, Elektrotechniek of een vergelijkbare richting.
• Je hebt een combinatie van academische en professionele werkervaring.
• Je hebt affiniteit met en interesse in het oplossen van uitdagingen bij het engineeren van complexe hightech-systemen met behulp van innovatieve modelgedreven methodologieën die efficiënte en effectieve engineeringsprocessen mogelijk maken.
• Je hebt een sterke basis in MBSE, domeinspecifieke talen en formele methoden, in het bijzonder in de theorie en praktijk van modelgebaseerd testen, model learning en model checking-technieken.
• Bekendheid met minimaal één van de formalismen van toestandsmachines, gelabelde transitiesystemen, Petri-netten of procesalgebra is vereist.
• Bekendheid met industriestandaard modelleertalen zoals SysML, UML en BPMN is vereist.
• Je weet energie te geven aan een groep.
• Je bekijkt vraagstukken vanuit een systeem­perspectief (business, klant, technologie).
• Je kunt gesprekken met diverse groepen leiden en faciliteren richting een gemeenschappelijk onderzoeksdoel.

Wat wij jou bieden

Uitdagend én afwisselend werk met serieuze impact. En volop kansen, want bij TNO heb je grotendeels zelf de regie over je carrière. Naast een bruto (fulltime) maandsalaris tussen € 4500,- en € 6600,- (afhankelijk van je kennis en ervaring), vakantiegeld (8%), een 13de maand (8,33%) en een flexbudget (5,58% + € 180), krijg je alle mogelijkheden om jezelf te ontwikkelen.

Misschien wil je doorgroeien in de richting commercie of consultancy. Of wil je projectmanager worden, jezelf meer verdiepen in duurzame innovaties of carrière maken als technisch expert.

Daarnaast kun je bij TNO een ‘menu’ aan arbeidsvoorwaarden samenstellen dat bij jouw persoonlijke situatie past. Wat je ook mag verwachten:

• Een uiterst professionele, innovatieve werkomgeving, met topexperts als collega’s.
• Mogelijkheid om cursussen, opleidingen en workshops te volgen en congressen te bezoeken, en coaching als je daar behoefte aan hebt.
• 33 vakantiedagen plus een flexibele feestdag, die in te zetten is op een culturele, religieuze of anderszins belangrijke dag naar keuze (bij een fulltime dienstverband).
• Een werkgever die divers talent waardeert en stimuleert, met initiatieven als Jong TNO, verschillende expertise gildes, onze Rainbow Community en Round Tables over inclusiethema’s.
• Een uitgebreide en flexibele mobiliteitsregeling, inclusief volledige vergoeding van openbaar vervoer voor woon-werk en zakelijke reizen.
• Gezellige activiteiten met je team en andere TNO'ers. Zo leer je snel veel mensen kennen.
• Flexibele werktijden, de mogelijkheid om parttime (32 of 36 uur) te werken en de mogelijkheid om thuis te werken.
• Een goede pensioenregeling.
  
  

Lees hier uit welke arbeidsvoorwaarden je verder kunt kiezen.

TNO als werkgever

Onze mensen vormen het hart van TNO. Hun nieuwsgierigheid, expertise en ondernemerschap maken het mogelijk om impactvolle onderzoeken en innovaties te creëren voor duurzaam welzijn en welvaart van de samenleving. Daarom investeren wij in een inspirerende en inclusieve werkomgeving waarin collega’s kunnen excelleren, autonomie hebben en kunnen groeien.

Jouw talent en ambitie krijgen bij TNO alle ruimte. Je werkt samen met experts (zowel binnen als buiten TNO), je hebt toegang tot geavanceerde technologie en de vrijheid om te onderzoeken, te experimenteren en te vernieuwen. Onze kracht ligt in onafhankelijkheid, betrouwbaarheid en samenwerking. Door samen te werken met bedrijven en overheden en door verschillende perspectieven te verbinden, versterken we onze innovatiekracht. En we creëren verantwoord en betekenisvol resultaat. We vinden elkaar in verwondering en vindingrijkheid, en we zijn gedreven om grenzen te verleggen.

Bij TNO geloven we dat dit onze tijd is om de samenleving, de overheid en het bedrijfsleven sneller vooruit te helpen. Samen met gedreven collega’s zet je kennis om in concrete innovaties of ondernemingen die écht verschil maken. Door de kracht van wetenschap en ondernemerschap te bundelen. Druk jouw stempel op ónze tijd.

Hoe ziet het proces eruit?

Reageren kan tot en met 31 mei 2026. De sollicitatieprocedure bestaat uit twee gespreksrondes. De eerste ronde staat gepland op 10 juni 2026. De tweede ronde staat gepland op 23 juni 2026. In een laatste gesprek bespreken we de arbeidsvoorwaarden die je zelf samenstelt. We streven ernaar de hele procedure binnen vier weken af te ronden.

Een online assessment en referentiecheck kunnen onderdeel uitmaken van de selectieprocedure.

Als je bij ons komt werken vragen wij je ook een Verklaring Omtrent het Gedrag (VOG) te overleggen.