Post-doctoral position at INRIA-Rennes

                Post-doctoral position at INRIA-Rennes

Applications are invited for a post-doctoral position that is likely to
be available at IRISA-INRIA, in Rennes, starting from September 2000 and
for a period of at least 12 and up to 24 months.

Salary will be of approximately 180000 FF yearly depending on degrees,
qualifications and experiences.  Applicants must have a PhD and MSc or
engineering degree in Computer Science and/or Applied Mathematics, with

  - a solid theoretical knowledge on concurrency theory, type theory and
  type inference,

  - demonstrated experience on program analysis, compiler optimizations,
  garbage collection and memory management,

  - serious practice of object-oriented programming in Java,
  - rudimentary notions on real-time operating systems.

The qualified applicant will participate to a joint research project of
INRIA (http://www.inria.fr), Verimag (http://www-verimag.imag.fr), Aonix
(http://www.aonix.com) and Thomson Silicomp (http://www.silicomp.fr).

The aim of this project to design and implement program analysis,
verifications and optimizations techniques for the control of resources
of Java applications to be deployed on embedded systems.

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

  Java is a registered trademark of Sun Microsystems, Inc.