FICHE-PROJET DE RECRUTEMENT D’UN INGENIEUR-EXPERT
Unité de recherche ou Direction : Rhône-Alpes Projet ou service d'accueil: Arénaire
Titre du contrat de recherche devant servir de support pour le recrutement projeté : Sceptre (Minalogic)
Entreprise, administration ou organisme contractant : Conseil Régional Rhône-Alpes
Montant du contrat de recherche : 550524,55 Euros Date du début des travaux : 12 octobre 2006
Durée : 36 mois Date de signature : 9 janvier 2007
Catégorie d’ingénieur expert :
Catégorie I : l’expert Catégorie III : le technicien de gestion scientifique
Catégorie II : l’ingénieur expert de recherche l’assistant
l’ingénieur expert de développement X le chargé de gestion
Intitulé de la fonction : Ingénieur de développement
Résumé des objectifs et de l’activité (contexte, travaux prévus):
Le projet INRIA Arénaire, basé au LIP (Ecole normale supérieure de Lyon), travaille à la définition et à la
conception de méthodes et d'outils rapides et sûrs pour l'arithmétique des ordinateurs. Dans le cadre du pôle de
compétitivité mondial Minalogic (projet Sceptre) et en collaboration avec STMicroelectronics (Grenoble),
Arénaire développe en particulier des outils automatiques de conception et de validation pour l'arithmétique
flottante. Dans ce contexte, l'ingénieur recruté se verra confier les missions suivantes:
Développement de composants logiciels de génération et de preuve d'algorithmes arithmétiques.
Définition et réalisation d'un cadre d'intégration et de coopération d'outils existants dans Arénaire.
Environnement de travail (cadre dans lequel s’inscriront les activités, liaison(s) fonctionnelle(s), collaborations
internes, relations avec les partenaires extérieurs, moyens à disposition…):
Le travail sera réalisé dans l'équipe Arénaire, à l'ENS Lyon (laboratoire LIP).
Collaborations internes: tous les membres du projet Arénaire.
Partenaires extérieurs: STMicroelectronics (Compiler Expertise Center, Grenoble), INRIA/Microsoft
Research (Orsay).
Direction des Ressources Humaines - Note de procédure du 01/05/2004
Procédure de recrutement et de gestion des ingénieurs experts- annexe 4.2