[Postdoc Position] Model-Based Design, Analysis, and Optimization of Embedded Systems/ CEA LIST

[Postdoc Position] Model-Based Design, Analysis, and Optimization of Embedded Systems/ CEA LIST

From: ESPINOZA Huascar 218344 <Huascar.ESPINOZA_at_cea.fr>
Date: Thu, 8 Jan 2009 14:19:51 +0100
Message-ID: <5EFD4D7AC6265F4D9D3A849CEA9219190118AAA0@LAXA.intra.cea.fr>
The Laboratory of Model-Driven Engineering for Real-Time, Embedded
Systems (LISE) of the LIST Institute at the French Atomic Energy
Commission (CEA) is seeking to fill a post-doctoral researcher position
with specialization in model-based engineering.


First-class candidates are sought for conducting original research in
model-based, analysis-aided, multi-criteria optimization of embedded
systems. Specifically, the position is for a motivated researcher to
work in two European projects in collaboration with large companies from
the automotive and transport industries (e.g., Continental, Volvo,
Alstom, Thales, EADS, ABB). Among the main activities assigned to this
position are to lay the groundwork for integrating model-based design
and multiple analytic techniques for evaluating/guaranteeing performance
and reliability properties of embedded systems. The thrust of the
research will be on the definition of optimized architectural patterns
guaranteeing generic properties by-construction, and adapting search
strategy algorithms to guarantee correct composition (e.g.,
deadline-missing, deadlock, and error free) of different architectural
solutions of a given design decision problem.


CEA is one of the foremost technological research organizations in
Europe on energy, defense, safety, health and information technologies.
In the European context, CEA is committed to play an important role as
an industry-driven research institution. Details of the LIST Institute
can be found in http://www-list.cea.fr. In the field of model-driven
engineering for embedded systems, our laboratory (LISE) has a recognized
reputation and has been strongly contributing to the state of the art as
a core actor in research and engineering of model-based methods and
tools. Its contributions are mainly focused on closing the gap between
requirements, architecture design, implementation, and validation and
verification activities, as well as in the participation within
international normalization activities, particularly as the leaders of
the MARTE (UML profile for Modeling and Analyzing Real-Time and Embedded
systems) standardization work at OMG (Object Management Group).
Industrial application is a core concern at LISE, which is reflected by
its strong collaboration with large industries, such as for example with
automotive industries to define the AIT-WOODES model-based development
methodology (now named ACCORD|UML), and more recently with Airbus to
integrate our Eclipse-based Papyrus modeling tool (now an Eclipse
Component) and Topcased tools into a common infrastructure for model


Applicants should hold a Ph.D. in Computer Science or a related
engineering discipline, with a research specialization in model-driven
engineering and/or embedded/real-time applications. Preference will be
given to candidates who have experience in engineering/quantitative
analysis of non-functional properties. The position is funded for a
period of one year with the option to extend the period by a half year.
English is mandatory, French is a plus, but is not required.

Applicants should submit a Curriculum vita, lists of publications and
references to huascar dot espinoza at cea dot fr.

Huascar ESPINOZA, Ph.D.
Model-Driven Engineering for Real-Time Embedded Systems
Phone/Fax: +33 1 69 08 45 87 / 20 82
Received on Thu 08 Jan 2009 - 13:19:59 GMT