Bonjour,
L'équipe Inria Celtique recherche un programmeur OCaml (ingénieur jeune diplômé)
pour développer des analyses statiques de programmes Flash.
L'annonce est consultable à l'adresse suivante:
http://www.inria.fr/institut/recrutement-metiers/offres/ingenieurs-jeunes-diplomes/(view)/details.html?nPostingId=5377&nPostingTargetId=10462&id=PGTFK026203F3VBQB6G68LONZ&lg=FR
Mots-clés : compilation, vérification, analyse statique
Langages : OCaml
Éligibilité : ingénieur jeune diplômé ( diplômé 2010 ou 2011)
Contrat : un an (renouvelable une fois)
Lieu : Rennes
Contact :
frederic.besson@inria.fr
--
Frédéric Besson