Afstudeerstage visualisatie modelchecking

  • Dienstverband:36 uur
  • Locatie:Utrecht
  • Opleidingsniveau:hbo/wo
  • Salaris:€ 700
  • Categorie:Stage
Solliciteer nu
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.

Jouw sollicitatieproces

Solliciteer nu

  • Sollicitatie
  • Kennismaking
  • Welkom bij ProRail!

Elke dag vooruit

Bij de naam ProRail denken veel mensen in eerste instantie aan treinen. Toch zit het net even anders: we beheren de spoorwegnetwerken in Nederland. En wist je dat we in Nederland een van de drukste, betrouwbaarste en meest ingenieuze spoorwegnetwerken ter wereld kennen?

Hoe fijn is het dan ook dat we kunnen rekenen op onze ruim 5.000 diverse collega’s. Met elkaar houden we 7.000 kilometer spoor – en alles wat erbij komt kijken – veilig en in topconditie. Van mooie stations en een optimale dienstregeling tot goed onderhouden bruggen, tunnels, overgangen, wissels en seinen.

Bereken je reistijd

Van is een verplicht veld

Naar Moreelsepark 3 Utrecht

Nog vragen of hulp nodig?

Profiel foto van Michelle  Jansen
Michelle Jansen Recruiter

Deel deze pagina

Wellicht vind je deze vacatures ook interessant

Job alert instellen
  • Meewerkstage campus recruitment

    Campus Recruitment naar het volgende niveau tillen. Dat is jouw doel.

    • Dienstverband: 36 uur
    • Locatie: Utrecht
    • Opleidingsniveau: hbo/wo
    • Salaris: € 500
  • (Afstudeer)stage programma positionering ProRail (zbo-omvorming)

    Interesse in bestuurlijke vraagstukken en het samenspel tussen beleid en uitvoering. Dan is

    • Dienstverband: 32 uur
    • Locatie: Utrecht
    • Opleidingsniveau: hbo/wo
    • Salaris: € 500
  • (Afstudeer)stage datascience

    Data Science toepassen om de volgende grote storing te voorspellen. Jij helpt ProRail

    • Dienstverband: 36 uur
    • Locatie: Utrecht
    • Opleidingsniveau: hbo/wo
    • Salaris: € 500