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