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.
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. If you are interested in an internship at Nexperia please contact Frits Vaandrager or Nils Jansen.
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).
NXP Semiconductors N.V. (NXP) is a Dutch semiconductor designer and manufacturer. The company employs approximately 31,000 people in more than 30 countries. NXP offers opportunities for research internships as well as for MSc projects. Look here for some concrete examples. If you are interested, please contact Sjaak Smetsers.