Magnet.me  -  Het slimme netwerk waarop hbo‑ en wo‑studenten hun baan of stage vinden.

Het slimme netwerk waarop hbo‑ en wo‑studenten hun baan of stage vinden.

Deze vacature is verlopen. Je kunt daarom niet meer liken of solliciteren.

Vergelijkbare vacatures bekijken

Afstudeerstage visualisatie modelchecking

Geplaatst 26 mrt. 2024
Werkervaring
0 tot 1 jaar
Full-time / part-time
Full-time
Functie
Salaris
€ 700 per maand
Soort opleiding
Taalvereiste
Nederlands (Vloeiend)

Je carrière begint op Magnet.me

Maak een profiel aan en ontvang slimme aanbevelingen op basis van je gelikete vacatures.

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.

Bij de naam ProRail denken veel mensen in eerste instantie alleen aan treinen. Toch zit het net even anders: we beheren, onderhouden, vernieuwen en verbeteren het Nederlandse spoorwegnet en bouwen en beheren stations. Belangrijk werk, want dagelijks vertrouwen miljoenen mensen op een goed en veilig spoor. Daarom doen we er bij ProRail alles aan om het spoor, de stations en…


Bij de naam ProRail denken veel mensen in eerste instantie alleen aan treinen. Toch zit het net even anders: we beheren, onderhouden, vernieuwen en verbeteren het Nederlandse spoorwegnet en bouwen en beheren stations. Belangrijk werk, want dagelijks vertrouwen miljoenen mensen op een goed en veilig spoor. Daarom doen we er bij ProRail alles aan om het spoor, de stations en alles wat erbij komt kijken, veilig en in topconditie te houden. Uiteraard met onze blik op de toekomst. Elke dag vooruit.

Transport & Logistiek
Utrecht
Actief in 1 land
5.000 medewerkers
60% mannen - 40% vrouwen

Dit zeggen medewerkers

Rixt van der Leij

Technisch Trainee

Rixt van der Leij

Wat ik het meest waardeer aan dit traineeship is de ruimte voor persoonlijke groei, eigen initiatief en het uitwerken van ideeën. Je krijgt de kans om het echte werkleven te ervaren, met de benodigde ondersteuning waar nodig. De persoonlijke groei die ik tijdens mijn studie miste, vond ik hier.

Bilal Sahraoui

Trainee

Bilal Sahraoui

Bij ProRail vind ik niet alleen de ruimte voor persoonlijke groei, maar ook de mogelijkheid om een impact te hebben op de maatschappij. Het geeft voldoening dat ik samen met mijn collega's ervoor zorg dat de treinen in Nederland kunnen rijden.'