Compiler positions available for week ending April 5

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.




-------------------------------


From: JP Talpin <talpin@irisa.fr>
Subject: Post-doctorate on domain-specific languages for space applications (Rennes FR)
Date: Mon, 30 Mar 2009 14:41:54 +0200
Organization: Irisa, Rennes (FR)


Post-doctorate research position announcement
A domain-specific language for space applications
INRIA-Rennes, Brittany, France


INRIA-Rennes is seeking a post-doctorate research engineer to
participate to a large ANR initiative to develop an Eclipse-based,
open-source, design environment for space software applications. In
this environment, embedded software is specified by the assembly of
multiple views of the system under design: functional, architectural
and dynamical views. As a result, the topic of the post-doctorate
touches several domain ranging from model-driven engineering, modular
programming, scheduling analysis and code generation.


The host project-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 from heterogeneous component and
architecture models. The program analysis, transformation, and code
generation services of Polychrony serve as a foundation to code
generation in Synoptic.


The selected post-doctorate will more specifically participate in the
design and implementation of modular programming concepts and of code
generation strategies in the programming environment. An emphasis on
tracability and on certifiability will be put in the implementation of
these aspects.


Preference will be given to candidates with a PhD in computer science
or electrical engineering and/or with a technical background and
research interest in model-driven engineering in program analysis and
transformation, compiler technology and code generation, in the domain
of embedded software design. Knowledge and experience in Eclipse, AADL,
Simulink, synchronous languages, compilation will be positively
appreciated.


The selected candidate will be appointed for an initial period of 16
months with a prospect of renewal. The net monthly salary of the
post-doctorate will approx. be 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.

Return to the comp.compilers page.
Search the comp.compilers archives again.