Stage | Improving performance of controller synthesis by improved symbolic searching

‘Supervisory controller synthesis’ is een techniek om automatisch correct-door-constructie besturingsmodellen en -software te genereren voor cyber-fysieke systemen. Zulke besturingssoftware coördineert delen van het systeem, zodat het veilig en correct werkt. Synthese is computationeel intensief omdat alle mogelijke systeemgedragingen moeten worden doorgerekend. De berekeningen wordt daarom symbolisch uitgevoerd, gebruik makend van algoritmen die werken op Binary Decision Diagram (BDD) representaties van zoekruimtes. Door deze BDD-representaties en de daarop werkende symbolische zoekalgoritmen te verbeteren, kunnen de schaalbaarheid en efficiëntie van synthese aanzienlijk worden verhoogd, waardoor het voor industriële ingenieurs gemakkelijker wordt om de aanpak toe te passen.

Momenteel onderzoeken en implementeren we verbeterde ‘decision diagram’ representaties en symbolische zoekalgoritmen. Je zult ons helpen bij dit onderzoek en de implementatie. In het bijzonder zul je helpen onderzoeken hoe de schaalbaarheid maximaal kan worden vergroot (bijvoorbeeld door de BDD-bewerkingen te parallelliseren en door het geheugenverbruik te optimaliseren), zul je helpen nieuwe symbolische zoekalgoritmen te implementeren en valideren, en deze verbinden met Eclipse ESCET, de open-source Eclipse Supervisory Control Engineering Toolkit.

Concreet komt dit neer op het volgende:

• State-of-the-art artikelen lezen over BDD representaties en symbolische zoekalgoritmen.
• Nieuwe symbolische zoekalgoritmen en BDD representaties implementeren en valideren in Java.
• De nieuwe algoritmen en datastructuren verbinden met Eclipse ESCET.
• Deze nieuwe representaties en algoritmen valideren op verschillende voorbeelden, en hun prestaties en schaalbaarheid vergelijken met de huidige algoritmen van Eclipse ESCET.
• Rapporteren over de nieuwe algoritmen en datastructuren, en over hun prestaties.

• Masterstudent is van een informatica opleiding of soortgelijk vakgebied;
• Basiskennis heeft van algoritmes en data structuren;
• Affiniteit heeft voor formele methoden en model-gebaseerd ontwikkelen;
• Ervaring heeft in software ontwikkeling, idealiter in Java;
• Engels voldoende kan spreken en schrijven;
• Een teamspeler is, maar ook in staat is om zelfstandig te werken;
• En een open en enthousiaste instelling heeft.

Jij wilt een stageplek bij de voorloper van jouw carrière. Een stage geeft de mogelijkheid om een kijkje te nemen bij wellicht jouw toekomstige werkgever. TNO gaat daarin een stap verder. Je neemt niet alleen een kijkje, jij en jouw kennis zijn essentieel voor onze innovaties. We hechten daarom veel waarde aan jouw persoonlijke en professionele ontwikkeling.
Uiteraard word je goed begeleid tijdens je stage, tegelijkertijd geven we je de ruimte om jezelf te ontplooien. Verder bieden we je:

• Een professionele en innovatieve stageomgeving, binnen een team met topexperts.
• Een passende stagevergoeding (615 euro voor wo-, hbo- en mbo-studenten, bij een fulltime stage).
• Mogelijkheid tot acht uur vrij te besteden uren per stagemaand (bij een fulltime stage).
• Een gratis lidmaatschap van Jong TNO, waar je andere TNO'ers kunt ontmoeten en je kunt aanmelden voor verschillende activiteiten, zoals sportactiviteiten, (werkgerelateerde) cursussen en de jaarlijkse skivakantie.
• Gebruik van een laptop.
• Een tegemoetkoming in je reiskosten als je geen studentenreisproduct ontvangt.

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 en inclusie.

De sollicitatieprocedure verloopt, na de eerste CV selectie, via de betreffende afdeling. TNO draagt zorg voor een passende stageovereenkomst. Mocht je vragen hebben over deze vacature, dan kan je contact opnemen met onderstaande contactpersoon.

Belangrijk om te weten voordat je solliciteert:

• Voor aanvang van de stage moet een stageovereenkomst getekend worden. Voor studenten van een hogeschool of universiteit gevestigd in Nederland, hanteert TNO het UNL-template (aangevuld met een aantal specifieke afspraken vanuit TNO). Voor studenten van buitenlandse- en MBO-instellingen, geldt de TNO stageovereenkomst. TNO tekent geen andere stageovereenkomsten.
• Voor aanvang van de stage zal de onderwijsinstelling schriftelijk moeten bevestigen dat:
  • 1) jij ingeschreven bent bij de onderwijsinstelling gedurende de stage, en;
  • 2) de stage plaatsvindt in het kader van de opleiding.
• De bevestiging van onderwijsinstelling vindt plaats door ondertekening van het UNL-template of formulieren opgesteld door TNO.
• Stagiairs bij TNO moeten in het bezit zijn van een Nederlands woonadres bij de start van de stage. Verrichten van stage-activiteiten vanuit het buitenland is niet mogelijk.