print · source · login   

Theme: Embedded Systems

Embedded systems constitute a natural application area for the technologies developed within our group. We collaborate with several major companies in this area such as Philips Healthcare, ASML, NXP, Nexperia and Canon.

a) Internship at Nexperia in Nijmegen on software model checking of Ada programs

Nexperia consistently produces the essential semiconductors required by every electronic design in the world: more than 90 billion annually. Nexperia, which has over 11,000 employees across Asia, Europe and the U.S., has its headsquartes in Nijmegen. See here for the project description of this internship. Contact Frits Vaandrager or Nils Jansen.

b) Internship at Philips Image Guided Therapy

Interested to apply model checking and test theory in a setting of safety critical systems? A challenging MSc project on Model-Based Engineering using the Dezyne toolset is currently available at Philips. For a project description see here (contact Mathijs Schuts or Frits Vaandrager).

c) Internships at ICT

Julien Schmaltz, who worked in our SWS group for some years, is now principal consultant at ICT. He identified several interesting potential MSc thesis projects related to embedded systems at ICT. (contact: Frits Vaandrager)