Research Fellow Formal Methods

Je krijgt de unieke kans om de systeemengineering-competenties binnen de hightechindustrie naar een hoger niveau te tillen. Daarbij bouw je voort op de kennis en inzichten die voortkomen uit de onderzoeksprojecten van jouw collega’s bij toonaangevende industriële partners zoals ASML, Canon, ITEC, Philips, Thales en Vanderlande.

Je bent een doelgerichte, zelfstandige professional die energie krijgt van het leveren van hoogwaardige resultaten. Je leert graag van nieuwe ervaringen en van je collega’s. Je hebt passie voor het verbeteren van de manier waarop in de industrie systeemengineering wordt toegepast — door de kennis en vaardigheden van individuen en teams te versterken.

Je bent vertrouwd met methoden, processen en competenties binnen systems architecting en systems engineering. Je hebt een sterke achtergrond in formal methods en ervaring met het toepassen van theorie in de praktijk. De hightechwereld boeit je, en je bent gefascineerd door de rol van menselijke factoren in innovatie en technologische ontwikkeling.

Tegelijkertijd ben je veerkrachtig en blijf je overeind bij de organisatorische en operationele uitdagingen die horen bij de dynamiek van de hightechsector. Je kunt je snel aanpassen aan nieuwe onderzoeksinzichten en veranderende behoeften in het toepassingsgebied.

• Een academische opleiding, bij voorkeur een master of PhD in informatica, wiskunde, elektrotechniek of een vergelijkbare richting.
• Een combinatie van academische en professionele werkervaring.
• Affiniteit met en interesse in het oplossen van uitdagingen bij het ontwerpen van complexe hightechsystemen, met behulp van nieuwe modelgedreven methodologieën die efficiënte en effectieve engineeringprocessen mogelijk maken.
• Een sterke basis in MBSE (Model-Based Systems Engineering), domeinspecifieke talen en formal methods, met name in de theorie en praktijk van modelgebaseerd testen, model learning en model checking.
• Kennis van minstens één van de volgende formele modellen: state machines, labelled transition systems, Petri nets of process algebra (vereist).
• Bekendheid met industriestandaard modelleringstalen zoals SysML, UML en BPMN (vereist).
• Je weet een groep te enthousiasmeren en energie te geven.
• Je kijkt naar vraagstukken vanuit een systeemgerichte blik (business, klant, technologie).
• Je kunt gesprekken tussen diverse groepen leiden en begeleiden richting een gemeenschappelijk onderzoeksdoel.

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 € 4.500,- en € 6.600,- (afhankelijk van je kennis en ervaring), vakantiegeld (8%), een dertiende maand (8,33%) en een flexbudget (5,58% + € 180,-), krijg je alle mogelijkheden om jezelf te ontwikkelen.

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 (bij een fulltime dienstverband).
• Een werkgever die divers talent waardeert en stimuleert, met initiatieven als het Female Leadership Programma, 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.

Bij TNO innoveren we voor een gezonder, veiliger en duurzamer leven. En voor een sterke economie. Sinds 1932 ontwikkelen wij kennis en technologie voor het algemeen belang. We vinden elkaar in verwondering en vindingrijkheid, en we zijn gedreven om grenzen te verleggen. Voor jouw talent en ambitie is er alle ruimte en ondersteuning. Je werkt samen met mensen die aan je gewaagd zijn, die jou inspireren én van jou willen leren. Onze state-of-the-art-faciliteiten zijn er om jouw visie te verwezenlijken. Wat je bij TNO doet, doet ertoe: impact maakt het verschil. Want met elke innovatie draag je bij aan het leven van morgen. Lees meer over TNO als werkgever.

Bij TNO stimuleren we een inclusieve werkomgeving, waar jij jezelf kunt zijn. Wat je verhaal ook is en welke unieke eigenschappen je ook meebrengt. Juist door onze unieke krachten en perspectieven te bundelen zijn we in staat om innovaties te ontwikkelen die een wezenlijk verschil maken in de samenleving. Meer weten? Lees welke stappen wij zetten op het gebied van diversiteit, gelijkwaardigheid en inclusie.

Reageren kan tot en met 4 december 2025. De sollicitatieprocedure bestaat uit twee gespreksrondes. De eerste ronde staat gepland op 10 en 11 december 2025. De tweede ronde staat gepland op 12 december 2025.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.