Personalis
Naam
M.A. de Langen MSc.
Roepnaam
Mathijs
Woonplaats
Eindhoven
Geboortedatum
15 augutus 1988 (te Rotterdam)
Werkervaring
Juli 2015 - heden
Prodrive Technologies B.V.
Software engineer / Software achitect.
Oktober 2013 - mei 2015
Rose B.V.
Software ontwikkeling van zorgrobot Rose bij de start-up Rose BV. Rose is een semi-autonome, tele-operated zorgrobot in ontwikkeling door de start-up Rose BV.
Taken variërend van het schrijven van software tot het ondersteunen in een proeftuin.
Juni 2013 - oktober 2013
DAF NV
Verificatie en validatie van embedded software. Als vervolg op mijn afstudeerproject heb ik gekeken hoe processen bij DAF verbeterd kunnen worden om software verificatie toe te passen.
Juni 2013 - oktober 2013
TMC
Mijn werkgever tijdens het werk bij DAF.
September 2012 - juni 2013
DAF NV
Afstudeerproject, Thesis "Vehicle Function Correctness - Using mCRL2 to compare higher and lower level models".
Met dit project werd getracht (on)gelijkheid aan te tonen tussen specificatie en implementatie van real-time embedded software bij DAF door middel van formele methoden. Daarnaast werd software verificatie op deze modellen toegepast om functionele requirements te valideren op dezelfde modellen.
April 2009 - november 2012
Bureau Computer Faciliteiten op Technische Universiteit Eindhoven.
Hoofdtaak: Het geven van IT ondersteuning aan medewerkers van de TU/e.
Juni 2004 - september 2009
Jumbo Steenbergen.
Vulploeg-medewerker, naast de reguliere taken verantwoordelijk voor bezorgen in omgeving Steenbergen.
Opleiding
Juni 2013
Technische Universiteit Eindhoven, Master opleiding Computer Science & Engineering behaald.
Juli 2011
Technische Universiteit Eindhoven, Bachelor opleiding Technische Informatica behaald.
Juli 2010
Technische Universiteit Eindhoven, minor Ondernemersschap en Innovatie (faculteit Technische Bedrijfskunde).
Juli 2008
Technische Universiteit Eindhoven, opleiding Technische Informatica, propedeutisch examen.
Juni 2006
Vwo-gymnasium profiel "Natuur en Gezondheid" en "Natuur en Techniek" met Oud-Grieks.
Juni 2006
Certificaat "Moderne Natuurkunde".
Extra activiteiten
2013
Meerdere keren geholpen bij de Open Dagen van Technische Universiteit Eindhoven.
Juni 2012
Meegewerkt aan fotografie leaflet Software Science ten behoeve van de Technische Universiteit Eindhoven.
Taak: Foto's laten maken en een interview afgeven.