Post-doctoral position announcement

                Post-doctoral position at INRIA-Rennes

A post-doctoral position that is likely to be available at IRISA/INRIA
(http://www.irisa.fr) in Rennes (http://www.ville-rennes.fr) starting
from December 2000, for a period of up to two years and for a salary of
approximately 180000 FF/year.

The position is funded by a joint research project 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 aim of the project to design and implement program analysis,
verification and optimization techniques for the control of resources of
Java applications to be deployed on embedded systems.

Applicants must have a Ph.D. in Computer Science and/or Applied
Mathematics, together with an experience of background in one or several
of the following fields:

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

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)