Partager cette page :

Recrutement : Ingénieur de recherche / développement OCaml

du 28 mai 2018 au 15 juin 2018

ENS Rennes, Campus de Beaulieu

Un poste d’ingénieur de recherche est à pourvoir à l’ENS Rennes / IRISA, dans le cadre du projet ERC VESTA de David Pichardie. Le projet VESTA vise à développer une plateforme pour la conception d’analyses statiques avancées sur plusieurs langages de programmation en s’appuyant sur des techniques innovantes d’interprétation abstraite, de preuve et de synthèse de programme.

Recrutements ENS Rennes

Recrutements ENS Rennes

Mission : L’ingénieur devra continuer, intégrer et maintenir la plateforme du projet VESTA en s’appuyant sur les prototypes Javalib, Sawja (http://sawja.inria.fr) et Verasco (http://compcert.inria.fr/verasco/). Il ou elle mettra en place des outils de tests de non-regression spécifiques au projet et assurera une veille technologique sur les techniques de compilation et analyse statique liées au projet VESTA. Les développements logiciels seront réalisés dans le langage OCaml.
 
Profil / compétences : Nous recherchons un.e candidat.e titulaire d’un diplôme d’ingénieur (ou titre équivalent) et d’une thèse en sciences, avec une expérience avérée en développement OCaml. Un pratique des techniques d’analyse statique serait un plus.
 
Diplôme requis : thèse 
Lieu de travail : ENS Rennes / IRISA
Type de contrat : CDD
Durée du contrat : 12 mois (possibilité d’extension pour 12 mois supplémentaires)
Corps / catégorie: Ingénieur de recherche
Salaire Brut / Mens €: dépendant des qualifications
Date prévisionnelle d’embauche : 1er septembre 2018
Date limite de candidature : 15 juin 2018 à l'attention de David Pichardie

Thématique(s)
Vie de l'École

Mise à jour le 13 juin 2018