Afstudeerstage visualisatie modelchecking

Visualisatiesoftware die het spoor in topconditie houdt. Jij ontwikkelt het.

Werk om trots op te zijn

Elke dag meer dan 1 miljoen treinreizigers en 100.000 ton aan goederen naar de juiste bestemming brengen. Ruim 6.500 treinen laten rijden over zo’n 7.000 kilometer spoor. Dat kan alleen maar als het spoor in topconditie en veilig is. Daarvoor gebruiken we steeds vaker digitale oplossingen. Voor jouw afstudeerstage visualisatie modelchecking werk je mee aan het internationale ontwikkelproject Eulynx. Jij ontwikkelt software voor de visualisatie van tegenvoorbeelden die met modelchecking zijn gevonden. Software die:

• Een deel van de toestandsruimte van een treinbeveiligingssysteem berekent. 
• Deze berekeningen controleert op correctheid.
• Het pad in de toestandsruimte van de gevonden fouten toont.

Jouw plek

We bieden graag ruimte aan iedereen. Daarbij zien we talent als basis en diversiteit als kracht om samen betere resultaten te behalen. Tijdens jouw afstudeerstage visualisatie modelchecking kom je werken in ons team Treinbeveiliging lokale systemen, onderdeel van ProRail Assetmanagement. Jouw team werkt vanuit Utrecht aan het ontwikkelen, vernieuwen, verbeteren, beheren en waarborgen van functies en systemen.

Jij levert een bijdrage aan de onderzoeken voor Eulynx, uitgevoerd samen met de Universiteit Twente en de TU Eindhoven.

Jouw arbeidsvoorwaarden

• Een stagevergoeding van € 700,- per maand (op basis van 32 uur per week).
• Een laptop van de zaak en de ruimte om te werken waar je wilt.
• Goed verzorgde én vooral smakelijke lunches voor een fijne prijs in onze bedrijfsrestaurants.
• Goede begeleiding. Persoonlijke aandacht is bij ProRail de normaalste zaak.
• Leuke activiteiten met andere stagiaires zoals domibo’s, stagelunches en stagedagen.

Jouw inbreng

Bij ProRail vinden wij het belangrijk dat jij gewoon jezelf kan zijn. Daarom zijn wij benieuwd naar wie jij bent. Voor deze stage breng je sowieso mee:

• Uitzicht op een hbo-/wo-diploma Informatica, Wiskunde of vergelijkbaar.
• Een oplossingsgerichte aanpakkersmentaliteit.
• Een goede balans tussen werken in teamverband en zelfstandig werken.
• Eventueel kennis van UML/SysML en/of modelchecking.

Jouw sollicitatie

Wil je in je afstudeerstage visualisatie modelchecking werken aan de toekomst van Nederland én aan die van jezelf? Solliciteer dan nu! Toch eerst nog een vraag? Stel deze gerust aan Michelle Jansen via michelle.jansen@prorail.nl. Neem voor inhoudelijke vragen contact op met Daan van der Meij via daan.vandermeij@prorail.nl.

Binnen 10 dagen krijg je onze reactie. Krijg je een uitnodiging? Dan maak je tijdens het eerste gesprek gelijk kennis met je stagebegeleiders. Samen met jou werken we eerst jouw stageopdracht uit. De duur van de stage en het aantal uren bepalen we op basis van jouw opleidingseisen.

Let op: dit is een afstudeerstage. Ben je geïnteresseerd in een vaste baan bij ProRail? Bekijk dan onze actuele vacatures.