[Prev][Next][Index][Thread]

Post-doctoral positions in the EPATR-ESPRESSO group at INRIA-Rennes


Two post-doctoral positions are available in the EPATR-ESPRESSO group
at INRIA-Rennes. The goal of our group is promote the synchronous
approach to the component-based design, verification and validation of
mission-critical, embedded and/or distributed, software.

=> In the RNTL project EXPRESSO,

   we seek for a PhD in Computer Science or in Applied Mathematics
with experience in one or several of the following areas:

  * program analysis and compiler optimizations
  * garbage collection and memory management
  * object-oriented programming in Java
  * concurrency and typing

The aim of the EXPRESSO 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.

The EXPRESSO project is a joint research effort of INRIA
(http://www.inria.fr), Verimag (http://www-verimag.imag.fr), Aonix
(http://www.aonix.com), Silicomp (http://www.silicomp.fr) and Thomson.

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 to two years and for a salary of approximately 180000
FF/year.

For more information and for application please send e-mail to
Jean-Pierre.Talpin@irisa.fr (http://www.irisa.fr/prive/talpin) and
Paul.LeGuernic@irisa.fr (http://www.irisa.fr/ep-atr)

=> In the RNTL project ACOTRIS,

   two INRIA teams are involved, the EPATR-ESPRESSO team in Rennes
and the SOSSO team in Rocquencourt.  The objective of the ACOTRIS
project 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 INRIA.

The post-doctoral position is available immediatly and for a period of
12 months (6 months in Rennes and 6 months in Rocquencourt) and for a
salary of approximately 180000 FF/year.

For more information and for application please send e-mail to
Thierry.Gautier@irisa.fr (http://www.irisa.fr/ep-atr) and Yves
Sorel@inria.fr (http://www-rocq.inria.fr/syndex)