Stage | From Traffic Rules to Formal Logic

Over deze vacature

Geautomatiseerde voertuigen (AV’s) zijn afhankelijk van duidelijke verkeersregels om veilig en voorspelbaar te kunnen functioneren. Deze regels vormen de basis voor zowel het ontwerp van de systemen als de beoordeling van hoe goed een autonoom voertuig zich in het echte verkeer gedraagt. Ze helpen er ook voor te zorgen dat het voertuig zich sociaal wenselijk gedraagt — al kan het in sommige situaties juist passender zijn om van een regel af te wijken.

Verkeersregels zijn opgesteld voor mensen, niet voor machines. In het dagelijks verkeer vertrouwen bestuurders op ervaring, context, sociale normen en gedeeld inzicht om deze regels toe te passen. Het formaliseren van verkeersregels vanuit natuurlijke taal is tegenwoordig echter nog steeds een handmatig en tijdrovend proces. Verkeersregels zijn vaak lang en niet altijd eenduidig. Daarnaast verschillen ze per regio en rechtsgebied.

Ingenieurs moeten de tekst interpreteren, bepalen wat relevant is en deze vervolgens vertalen naar logische structuren. Dit kost veel tijd en is moeilijk schaalbaar.

Wat ga je doen?

De opdracht is om de TNO-aanpak verder te ontwikkelen die verkeers- en rijregels, geschreven in natuurlijke taal, omzet naar precieze en gestructureerde formele regels.

Voorgestelde aanpak:

• Het bestuderen van bestaande methoden en eerder werk binnen verschillende projecten.
• Het identificeren van taalkundige structuren die vaak voorkomen in verkeers- en rijregels.
• Het opsplitsen van regels in context, betrokkenen (actors), voorwaarden en verwacht gedrag.
• Het ontwikkelen van een consistente structuur om elke regel formeel vast te leggen.
• Het vertalen van de formele versie naar een duidelijke logische formulering met behulp van wiskundige uitdrukkingen.
• Het meenemen van uitzonderingen en randgevallen die van nature in regels voorkomen.
• Het beoordelen van de duidelijkheid, consistentie en volledigheid van de vertaalde regels.
• Het testen van de methode op een diverse set regels uit verschillende bronnen.
• Het formuleren van aanbevelingen om het proces systematischer en beter schaalbaar te maken.

Verwachte resultaten:

• Een methodiek om regels in natuurlijke taal om te zetten naar formele representaties en bijbehorende wiskundige formuleringen.
• Een set vertaalde regels die de methode illustreert voor verschillende typen regels.
• Praktische inzichten in hoe onderdelen van het proces verder uitgebreid of (gedeeltelijk) geautomatiseerd kunnen worden.

Wat wij van jou verwachten

Kandidaten hebben bij voorkeur een achtergrond in Artificial Intelligence, Data Science, Computer Science, Systems and Control Engineering of een vergelijkbaar vakgebied. Daarnaast beschikken zij over programmeervaardigheden (bijvoorbeeld Python en basiskennis van dataverwerking). Ervaring met formele methoden of wiskundig redeneren, evenals met NLP‑bibliotheken of taalmodellen, is een pré.

De stage heeft een verwachte duur van 6 tot 9 maanden. We vragen je om minimaal twee dagen per week op ons kantoor in Helmond te werken, zodat je gebruik kunt maken van onze tools en er korte communicatielijnen zijn.

Wat wij jou bieden

Een stage bij TNO betekent werken in een omgeving waar inhoud en impact centraal staan. Je komt terecht in een kennisorganisatie waar onderzoek en praktijk samenkomen en waar experts samenwerken aan oplossingen voor actuele maatschappelijke en technologische vraagstukken.

Je stage is een periode om te ontdekken wat bij jou past, waar je goed in bent en wat je nog wilt leren. Je maakt deel uit van een professionele werkomgeving, leert hoe het er in de praktijk aan toegaat en krijgt de ruimte om ervaring op te doen die verder reikt dan alleen deze stage. Voor veel studenten is een stage dan ook een eerste stap om te ontdekken of TNO past als mogelijke volgende stap na de studie.

Verder bieden we je:

• Een professionele en innovatieve stageomgeving waarin je actief bijdraagt aan maatschappelijke en technologische vraagstukken, samen met toonaangevende experts in jouw vakgebied.
• Betrokken en persoonlijke begeleiding, met aandacht voor jouw leerdoelen, ontwikkeling en studieopdracht.
• Ruimte om jezelf te ontplooien: je doet relevante werkervaring op, ontwikkelt zowel je vakinhoudelijke als professionele vaardigheden en bouwt een waardevol netwerk op.
• Gebruik van een laptop en de faciliteiten die je nodig hebt om je werk goed te kunnen uitvoeren.
• Een passende stagevergoeding van €615 per maand bij een fulltime stage, voor wo-, hbo- en mbo‑studenten.
• Tot acht uur verlof per stagemaand bij een fulltime stage, zodat je je stage goed kunt combineren met je studie en privéleven.
• Een tegemoetkoming in je reiskosten als je geen recht hebt op een studentenreisproduct.
• Een gratis lidmaatschap van Jong TNO: het netwerk voor jonge collega’s, waar je andere TNO’ers ontmoet en kunt deelnemen aan sportactiviteiten, inhoudelijke en persoonlijke ontwikkelactiviteiten en sociale evenementen, zoals de jaarlijkse skireis.

TNO als werkgever

Onze mensen vormen het hart van TNO. Hun nieuwsgierigheid, expertise en proactiviteit 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?

Je kunt reageren op deze stagevacature tot en met 9 juni 2026. Gesprekken zullen plaatsvinden op 15 juni. Na je aanmelding ontvang je een bevestiging per e-mail.

TNO draagt zorg voor een passende stageovereenkomst. Mocht je vragen hebben over de inhoud van de stage of de procedure, dan kun je terecht bij de onderstaande contactpersoon.

Wanneer je bij ons start met een stage, vragen wij je ook om een Verklaring Omtrent het Gedrag (VOG) aan te leveren.

Belangrijk om te weten voordat je solliciteert:

• Voor de start van de stage moet een stageovereenkomst worden getekend. Voor studenten van een Nederlandse hogeschool of universiteit maakt TNO gebruik van het UNL-template, aangevuld met enkele TNO‑specifieke afspraken. Voor studenten van buitenlandse onderwijsinstellingen en MBO‑opleidingen geldt de TNO‑stageovereenkomst. TNO tekent geen andere stageovereenkomsten.
• Voor de start van de stage zal de onderwijsinstelling schriftelijk moeten bevestigen dat:
  1. jij gedurende de stage bent ingeschreven bij de onderwijsinstelling, en;
  2. de stage plaatsvindt in het kader van de opleiding.

1. jij gedurende de stage bent ingeschreven bij de onderwijsinstelling, en;
2. de stage plaatsvindt in het kader van de opleiding.

Deze bevestiging vindt plaats via ondertekening van het UNL‑template of formulieren die door TNO worden verstrekt.

• Stagiairs bij TNO moeten bij de start van de stage beschikken over een Nederlands woonadres. Het uitvoeren van stage-activiteiten vanuit het buitenland is niet mogelijk.
• Ben je een internationale student? Houd er dan rekening mee dat je vóór de start van de stage een BSN (Burgerservicenummer) nodig hebt. Het aanvragen hiervan kan enkele weken duren, dus zorg dat je hier op tijd mee begint.