Software Engineer, EPFL

The Rigorous System Design laboratory (RiSD, http://risd.epfl.ch) at EPFL is seeking an experienced software engineer to play a key role in two industrial projects on component-based system design.

RiSD focuses on methodology and tools for the design of correct-by-construction complex heterogeneous systems. In collaboration with Verimag (France), it is developing the BIP framework for the component-based design and analysis of such systems. BIP is a language and an associated toolset supporting a rigorous and accountable system design flow. It has been successfully used in many industrial projects including the development and implementation of wireless senor network applications and embedded applications on many-core chips.

The candidate should have an excellent design sense and demonstrated expertise in component-based software engineering. Software development will be done primarily in C/C++ and Java-OSGi.

Contract duration: 2 years, potentially extendable to 3-4 years.

Salary: To be determined based on the candidate's experience.

Contact: Prof Joseph Sifakis (Joseph.Sifakis@epfl.ch)