Internships

This webpage holds a list of available, in progress and completed internships at FMT. If you are interested in carrying out an internship via the FMT group, please contact dr. Marieke Huisman, the study advisor of FMT.

Available

An Application with GUI Implementation for Automatic ANT File Creation for Model Transformations (contact: B.M. Yildiz MSc)
Axini - various assignments (contact: dr. M.I.A. Stoelinga & ir. H.M. van der Bijl)
Better maintenance of trains with model checking (contact: dr. M.I.A. Stoelinga)
Design-by-contract at TriMM (Dutch Interactive Award, 2014) (contact: dr. M.I.A. Stoelinga)
Early effort estimation@SIG (contact: M. Zaharieva-Stojanovski MSc & prof.dr. M. Huisman)
From Biological Domain to Formal Methods: a model-driven approach (contact: dr. S. Schivo)
Moneybird - Diverse Software/Data opdrachten (contact: prof.dr. J.C. van de Pol & V. Bloemen MSc & Jorieke Levink)
Movares - model-based risk analysis for train systems (contact: dr. M.I.A. Stoelinga)
OVSoftware (contact: prof.dr. M. Huisman & Wouter Kosterbok (OVSoftware))
Ortec Finance (contact: M. Seijbel (Ortec Finance) & prof.dr. M. Huisman)
Panalytical (contact: prof.dr. J.C. van de Pol)
StreamComputing (contact: prof.dr. M. Huisman & V. Hindriksen (StreamComputing))
TNO (contact: prof.dr. M. Huisman & M. de Jonge MSc (TNO))
Testprotocol ontwikkelen voor de elektrische fiets (contact: dr. M.I.A. Stoelinga)
Validation and Verification of Stability of ARM-microprocessor Software (contact: prof.dr. J.C. van de Pol)
aicas - Rule Driven Transformer (contact: prof.dr.ir. A. Rensink)
model-based testing & more at Nedap (contact: prof.dr.ir. A. Rensink & dr. M.I.A. Stoelinga)

Completed

Test guidance for the Nedap test automation tool - Jeroen Vonk (Nov 2014)
Constant Reduced Decision Diagrams in Meddly - Maryam Haji Ghasemi (Aug 2014)
Extending the Finite Domain Solver of GNU Prolog - Vincent Bloemen (May 2014)
Efficient Database Auditing - an Entity Reversion - Dennis Windhouwer (Apr 2014)
Qualcomm - Programming Models for Heterogeneous Multi-Core Architectures - Freark van der Berg (Dec 2012)
Model-based System Testing in Practice - Jeroen Meijer (Jun 2012)
A Model For Investment Strategies On Datacenters - Bjorn Postema (May 2012)
MONOIDICS & INFER - Ronald Burgman (Aug 2011)
Rooted Graph Programs - Lesley Wevers (Jul 2011)
Better.be - API-definitie voor een verzameling web services - Harold Bruintjes (Jul 2011)
NRG group - Risk assessment for software components - Richard Heijblom (2017)