Two post-doctorate positions on virtual prototyping embedded architectures at INRIA, Rennes

Subject description

Post doctorant activity description

Two post-doctorate positions are available at INRIA, Rennes (Brittany,France) to participate in a collaborative project on building an open-
source development platform for embedded avionic software.
The aim of the proposed post-doctoral program is to participate in the design, implementation and validation of virtual prototyping functionalities in an open-source development platform for embedded avionic software.By virtual prototyping, we understand the formal
modeling (in, e.g., a synchronous model of computation) composition, verification and simulation of heterogeneous components and modules
that describe all aspect of the modeled software: data-processing, control, architecture, each using specific concepts and notations

The proposed jobs address all aspects of a research program on the above topic starting from proposing sound foundations to the address
of virtual prototyping, carrying them out to the implementation of demonstrators, and by using existing prototypes and experimental platforms whenever possible. Results will be validated through real-scale industrial case studies conducted in direct collaboration with the industrial partners of the project.

The host team, Espresso, is located at INRIA-Rennes (Brittany, France) and develops an Eclipse-based embedded software design environment,
Polychrony (www.irisa.fr/espresso/polychrony). The tool implements a synchronous multi-clocked model of computation to model, verify,
transform and generate code, and possibly with heterogeneous input models (e.g., c code, automata, AADL, etc). This environment will
serve as the platform for virtual prototyping.

Required skills and abilities

Preference will be given to candidates with a PhD in computer science or electrical engineering and a technical background and research
interest in model-driven engineering, formal verification, program analysis and transformation, in the domain of embedded software design. Knowledge and experience with, e.g., Eclipse, AADL, Simulink will be appreciated.

Selected candidates will be appointed as research engineer for a renewable period of 18 months and a net monthly salary of approx. 2300 euros, or more, depending on degrees and experience. Applications, including a vitae, references and a brief description of research interests should be sent in reply of the present e-mail.

Reply this position offer

Project / Team

ESPRESSO

Priority topic

Virtual prototyping embedded architectures with heterogeneous components

Contact

Jean-Pierre TALPIN
IRISA / INRIA
Campus Universitaire de Beaulieu
35042 Rennes Cedex
FRANCE
jean-pierre.talpin@irisa.fr