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 : [email protected] -- Frédéric Besson -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
