L'Unité de Recherche INRIA de Rocquencourt est susceptible de recruter sur contrat à durée déterminée
un(e) ingénieur R&D
Lieu de travail : INRIA-Rocquencourt, près de Versailles
Équipe d'accueil : Cristal
Durée du contrat : 12 mois (renouvelable 1 fois)
Date prévisible d'embauche : entre le 1er juin 2005 et le 1er septembre 2005
Formation requise : Diplôme d'ingénieur, DEA, DESS, Mastère, ou équivalent.
Date limite de candidature : 1er juin 2005
Profil du poste :
Le travail proposé se situe dans le cadre d'un contrat de collaboration de 2 ans associant l'INRIA à un grand constructeur informatique. Ce contrat vise à concevoir et mettre en oeuvre un langage fonctionnel dédié à des applications de vérification formelle, à partir du système Objective Caml. Le langage visé possède un certain nombre de différences avec le langage Caml: syntaxe, stratégie d'évaluation, typage (surcharge), aspects réflexifs, types de données et bibliothèques, etc. Le travail proposé consiste à lister ces différences, à les spécifier, et à les implémenter à partir des modules Objective Caml existants, et de bibliothèques dédiées fournies.
Le candidat sera au centre de ce projet: chargé de rédiger les spécifications (formelles ou informelles) ainsi que les argumentations associées, il procèdera à l'implémentation du système visé en réutilisant autant que possible les composantes du système Objective Caml. Le candidat sera en contact permanent avec les chercheurs INRIA impliqués dans le projet, ainsi qu'avec l'équipe de développement d'Objective Caml et les membres du groupe Cristal.
Niveau de rémunération: en fonction des compétences et de l'expérience du candidat. Minimum brut mensuel: 2400 €.
Compétences requises et qualités souhaitées :Composition du dossier :
à adresser par courrier à :
ainsi que par courrier électronique à Nelly.Maloisel@inria.fr
Renseignements complémentaires :