Internship Projects

This webpage holds a list of available, in progress and completed internship projects at FMT.


TNO (prof.dr. M. Huisman, M. de Jonge)
Movares - model-based risk analysis for train systems (Prof.dr. M.I.A. Stoelinga)
Axini - various assignments (Prof.dr. M.I.A. Stoelinga, ir. H.M. van der Bijl)
Design-by-contract at TriMM (Dutch Interactive Award, 2014) (Prof.dr. M.I.A. Stoelinga)
aicas - Rule Driven Transformer ( A. Rensink)
Ortec Finance (M. Seijbel, prof.dr. M. Huisman)
StreamComputing (prof.dr. M. Huisman, V. Hindriksen)
model-based testing & more at Nedap ( A. Rensink, Prof.dr. M.I.A. Stoelinga)
OVSoftware (prof.dr. M. Huisman, Wouter Kosterbok (OVSoftware))
Testprotocol ontwikkelen voor de elektrische fiets (Prof.dr. M.I.A. Stoelinga)
An Application with GUI Implementation for Automatic ANT File Creation for Model Transformations (B.M. Yildiz)
Better maintenance of trains with model checking (Prof.dr. M.I.A. Stoelinga)
Early effort estimation@SIG (M. Zaharieva-Stojanovski, prof.dr. M. Huisman)
Software & auto’s: hoe gaan we om met frequente software-updates en veiligheid? (Prof.dr. M.I.A. Stoelinga)


Richard Heijblom - NRG group - Risk assessment for software components


Justin Krooneman - Content for a Personal Health App (December 2019)
Lukas Miedema - Internship at aicas GmbH (June 2019)
Steven de Heus - Testing methods for a localization service (November 2018)
Oscar Walet - Tagging, Tracking and analaysis of User Data (July 2018)
Jeroen Vonk - Test guidance for the Nedap test automation tool (November 2014)
Maryam Haji Ghasemi - Constant Reduced Decision Diagrams in Meddly (August 2014)
Vincent Bloemen - Extending the Finite Domain Solver of GNU Prolog (May 2014)
Dennis Windhouwer - Efficient Database Auditing - an Entity Reversion (April 2014)
Freark van der Berg - Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures (December 2012)
Jeroen Meijer - Model-based System Testing in Practice (June 2012)
Bjorn Postema - A Model For Investment Strategies On Datacenters (May 2012)
Ronald Burgman - MONOIDICS & INFER (August 2011)
Lesley Wevers - Rooted Graph Programs (July 2011)
Harold Bruintjes - - API-definitie voor een verzameling web services (July 2011)