L'équipe Inria Celtique recherche un programmeur OCaml (ingénieur  
jeune diplômé)
pour développer des analyses statiques pour le langage Java.

L'annonce  est consultable à l'adresse suivante
http://www.inria.fr/travailler/mrted/en/eng/details.html? 
id=PNGFK026203F3VBQB6G68LOE1&LOV5=4510&LOV2=4491&LG=EN&Resultsperpage=20 
&nPostingID=3501&nPostingTargetID=7707&option=52&sort=DESC&nDepartmentID 
=10

Mots-clés   : compilation, vérification, analyse statique
Langages    : OCaml
Éligibilité : ingénieur jeune diplômé (    \itemdiplômé 2008 ou 2009)
Contrat     : un an (renouvelable une fois)
Lieu        : Rennes
Date limite : 30 août 2009
Contact     : frederic.besson@inria.fr