The Coq mailing list

[Yves Bertot <Yves.Bertot AT sophia.inria.fr>]

The Coq development team has secured funding for two software 
engineering positions
to be filled for one year from the fall of 2008 (with a possibility of a 
one year renewal).
One of the positions  will be located in the Marelle team (INRIA Sophia 
Antipolis
Méditerranée, Next to Nice, in the South of France).

A more precise description of the job offer is given in the file in 
attachment.

Applicants should register on the site :

http://www.inria.fr/travailler/opportunites/jeunes.en.html

A similar offer is posted by the Typical team at INRIA Saclay Ile de 
France, in the Paris
region.

L'équipe de développement du système Coq a obtenu un financement pour 
deux postes
d'ingénieur informatique, à pourvoir à l'automne 2008 et pour un an 
(renouvelable).
L'un de ces postes sera localisé dans l'équipe Marelle (INRIA Sophia 
Antipolis
Méditerranée, dans les Alpes Maritimes).

Une description plus précise de l'offre d'emploi est donnée dans le 
fichier en attachement.

Les candidats doivent s'inscrire sur le site suivant:

http://www.inria.fr/travailler/opportunites/jeunes.fr.html

Une offre similaire est à pourvoir dans l'équipe Typical à l'INRIA 
Saclay Ile de France,
en région Parisienne.

Yves Bertot,
Responsable de l'équipe projet INRIA Marelle

Attachment: ADT-Coq-sophia-fr-en.pdf
Description: Adobe PDF document