Two post-docs available in the ESPRESSO project at INRIA-Rennes
Two post-doctoral position are available in the ESPRESSO project at
A SYNCHRONOUS APPROACH TO MODELING REAL-TIME SYSTEMS IN UML
The position is funded by the RNTL project ACOTRIS. The objective of
ACOTRIS is to improve UML-based design of embedded real-time
applications by providing concepts and tools that implement formal
verification, size-cost evaluation, code generation techniques, using
the synchronous approach.
The ACOTRIS consortium is composed of CSSI, EADS (Aérospatiale Matra
Missiles), CEA, SITIA and two INRIA project: the SOSSO project in
Rocquencourt and the ESPRESSO project in Rennes.
The post-doctoral position is available immediatly, for a period of 12
months and for a monthly salary of approximately 2000 Euros. For more
information and for application please send e-mail to
Thierry.Gautier@irisa.fr (http://www.irisa.fr/ep-atr) and Yves
ANALYSIS, TRANSFORMATION AND VERIFICATION OF REAL-TIME JAVA PROGRAMS
The position is funded by an RNTL project which involves researches
institutes such as INRIA (http://www.inria.fr) and Verimag
(http://www-verimag.imag.fr); and high-technology companies such as
Aonix (http://www.aonix.com), Silicomp (http://www.silicomp.fr) and
The aim of this RTNL project is to design and implement analysis,
verification and optimization techniques for the control of resources
of embedded, real-time applications written in Java and to develop
tools for the component-based engineering of real-time Java software.
We seek for a PhD in Computer Science or in Applied Mathematics with
experience in program analysis and compiler optimizations, awareness
on garbage collection and memory management, experience on
object-oriented programming in Java.
The post-doctoral position is available immediatly at IRISA/INRIA
(http://www.irisa.fr) in Rennes (http://www.ville-rennes.fr) for a
period of up 18 months and for a monthly salary of approximately 2000
Euros. For more information and for application please send e-mail to