Deutsch

Research Positions in Model-Based Testing of Embedded Systems

We are now accepting applications for a position as a Post-doc Researcher interested in applied research or for a PhD Candidate Position interested in the area of model-based development tools at the non-profit research institute fortiss GmbH.

Project Title: Model-Based Testing

Application Deadline: the position is to be filled as soon as possible

fortissis developing domain-specific model-based development tools for embedded systems with a focus on dependable systems. The position is part of a project developing model driven tools for the verification and validation of embedded systems.

Applicants should have a M.Sc. degree in Computer Science or Electrical Engineering (or equivalent, from a well‐known University). The successful candidate should have experience in one or more of the following areas:

  1. testing of embedded systems
  2. model-based development,
  3. background in formal methods (e.g., CLP, SMT), and
  4. the Eclipse environment (RCP, EMF).

German language skills are a plus.

fortiss GmbH is a non-profit research organization funded by the Bavarian Ministry for Economics. fortiss is associated with Technische Universität München which is consistently ranked as one of the three best universities in Germany. The group Software and Systems Engineering focuses on model-driven development in the domains automotive, energy, and autonomous systems.

The Munich area itself offers high quality of living, with unparalleled outdoor recreational opportunities and a great night-life at a reasonable price.

Interested applicants should submit a curriculum vitae and an academic transcript. A statement of the broad area of your re-search interest should also be included.

Contact: Dr. Christian Pfaller
E-mail:   pfaller(at)fortiss.org


fortiss GmbH - An-Institut der Technischen Universität München

Guerickestraße 25 | 80805 München | Deutschland
Tel: +49 89 3603522 0 | Fax: +49 89 3603522 50
info@fortiss.org | Impressum | Datenschutzerklärung