Position description

Two engineers 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.

Educational background

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.

Required skills

Knowledge and experience with, e.g., Eclipse, AADL, Simulink will be appreciated.

Employer seek following qualities

.

Gross salary (before tax)

Reply this position offer

Duration of the contract

Foreseeable starting date

2009/09/29

Location

Rennes

Scientific research group

ESPRESSO

Scientific leader

Jean-Pierre TALPIN

Application should be addressed to

Jean-Pierre TALPIN
IRISA / INRIA
Campus Universitaire de Beaulieu
35042 Rennes Cedex
FRANCE