Where: at INRIA-Rocquencourt, near Versailles
Research group: Cristal
Duration: 1 year (renewable once)
Expected date of hiring: any time between June 1st, 2005 and September 1st, 2005.
Requirements: Engineering diploma, Master's, or equivalent.
Apply before: June 1st, 2005
Description of the position:
The context of the work is a 2 years partnership between INRIA and an IT manufacturer. The objective of this partnership is to design and implement a functional language dedicated to formal verification applications. This implementation must use Objective Caml as a starting point. The language to be implemented has differences with the Caml language at many levels: syntax, evaluation strategy, typing (overloading), reflection, data types and libraries, ... The work to be performed consists in identifying these differences, specifying and implementing them, using as starting points the Objective Caml system and pre-existing specific libraries.
The engineer shall be at the heart of this project: in charge of writing the (formal or informal) specifications as well as the rationale for the design choices, he/she has to implement the target system reusing as much as possible the Objective Caml components. The engineer shall work in close cooperation with the INRIA researchers committed to this project, as well as with the Objective Caml development team and members of the Cristal group.
Salary level: depends on skills and experience. Minimum gross salary (per month): 2400 €.
Skills:To apply, send:
by surface mail to:
as well as by electronic mail to Nelly.Maloisel@inria.fr
For more information, call :