Post-doctorate position on model-driven engineering embedded software architectures at INRIA, Rennes
by Jean-Pierre Talpin, May 2, 2011A post-doctorate position is vacant at INRIA (Rennes, France) to participate in a collaborative effort to design, implement and case study a toolset that supports co-modeling embedded software architectures from multiple design views: functional, structural and interfaces. The objective of the post-doctorate will be to participate and contribute in the theoretical and practical challenges of designing this framework. Results will be validated through an industrial case study to be conducted in direct collaboration with the partners of the project.
A post-doctorate position is vacant at INRIA (Rennes, France) to participate in a collaborative effort to design, implement and case study a toolset that supports co-modeling embedded software architectures from multiple design views: functional, structural and interfaces. The objective of the post-doctorate will be to participate and contribute in the theoretical and practical challenges of designing this framework. Results will be validated through an industrial case study to be conducted in direct collaboration with the partners of the project.
By co-modeling, we understand the formal modeling (in, e.g., a synchronous model of computation) transformation, composition, verification, test and simulation of heterogeneous components and modules that describe all aspect of the modeled software: functions, architecture, timings, interfaces, each using specific concepts and notations such as Simulink, AADL, etc. The aim of co-modeling is to merge interpretations of these views, using model transformation techniques, in order to analyze, simulate, test and validate key software and architecture choices as early as possible in the design process (so-called "system-level" modeling).
Our research team, Espresso, is located in 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, Simulink, AADL, etc). This environment will serve as experimental platform for our project.
Preference will be given to candidates with a PhD in computer science or electrical engineering and a technical background and research interests such as model-driven engineering, language design, formal verification, test-case generation, program analysis and transformation, in the domain of embedded software design. Practice and experience with Eclipse, AADL, Simulink will be most appreciated.
The selected candidate will be appointed for a renewable period of one year (2 years max) 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.
