L'Unité de recherche INRIA Rhône-Alpes recrute un(e) Ingénieur-Expert(e)

Date prévisible d'embauche : septembre - novembre 2008

Modalité de recrutement : contrat à durée déterminée

Durée du contrat : 12 mois éventuellement renouvelables

Lieu de travail : Montbonnot Saint Martin (Isère)

Rémunération : à partir de 29800 EUR bruts / 24350 EUR nets (pour un ingénieur
Bac + 5 débutant) et plus selon durée d'expérience.

Formation-expérience : ingénieur ou docteur en informatique (ou diplôme équivalent)

Contexte du travail proposé :

Le poste proposé prend place au sein du projet Multival du pôle de compétitivité
Minalogic. Institués en 2005 par le gouvernement, les pôles de compétitivité ont
pour objectif une politique industrielle de grande envergure. Ils se
concrétisent par le lancement d'ambitieux projets de recherche et développement,
qui mettent en oeuvre des collaborations entre centres de recherche et
entreprises reconnus mondialement dans leurs domaines d'excellence respectifs.

Le poste est à pourvoir dans un environnement de haute technologie, au sein de
l'équipe-projet VASY (INRIA Rhône-Alpes et Laboratoire d'Informatique de
Grenoble), qui développe des logiciels pour la modélisation, la simulation et la
validation de systèmes informatiques critiques. L'analyse des ces systèmes est
basée sur des techniques énumératives, consistant à explorer les états et les
transitions d'un automate généré automatiquement à partir d'une description
formelle du système.

Pour ce faire, l'équipe-projet VASY a développé un format d'automates nommé BCG
(Binary-Coded Graphs) et un environnement logiciel pour manipuler ces automates.
Des études comparatives sur la suite de tests VLTS (Very Large Transition
Systems) ont montré que le format BCG combiné avec la compression bzip2 était le
moyen le plus compact de stocker des automates de grande taille (plusieurs
millions d'états).

La généralisation des architectures 64 bits et l'amélioration des algorithmes de
compression de données permet aujourd'hui de s'attaquer à des problèmes dont la
taille excède les capacités actuelles du format BCG (automates comportant plus
de 4 milliards d'états). Le travail proposé consiste donc à faire évoluer le
format et l'environnement BCG afin d'exploiter ces nouvelles possibilités.

Travail proposé :

Le travail comprendra les étapes suivantes :

     * Mise en place d'une nouvelle version 2.0 de la suite de tests VLTS afin
de disposer d'un échantillon plus large pour les expérimentations.

     * Sur cette suite VLTS 2.0, étude comparative d'algorithmes de compression
de données (disponibilité, taux de compression, temps d'exécution, etc.)

     * En lien avec les chercheurs de l'équipe-projet VASY, contribution à la
définition d'une version 2.0 du format BCG capable de prendre en compte les
processeurs et systèmes de fichiers 64 bits et d'intégrer des techniques de
compression additionnelles, en préservant une compatibilité ascendante avec la
version 1.0 du format BCG

Compétences et qualités requises :

     * Diplôme d'ingénieur en informatique ou Master équivalent

     * Goût pour la programmation (langage C)

     * Aptitude à travailler en équipe

Une ou plusieurs des connaissances suivantes
constitueraient un atout supplémentaire :

     * Statistiques, algorithmes de compression

Pour tous renseignements sur l'emploi proposé, contacter :

Hubert Garavel
INRIA Rhône-Alpes
655, avenue de l'Europe
MONTBONNOT SAINT-MARTIN
F-38334 SAINT-ISMIER CEDEX
Tel : 04 76 61 52 24
Fax : 04 76 61 52 52
E-mail : Hubert.Garavel@inria.fr avec copie à Frederic.Lang@inria.fr

Composition du dossier de candidature :

     * lettre de motivation

     * curriculum vitæ mentionnant précisément les emplois et fonctions remplis
antérieurement, ainsi que les réalisations logicielles effectuées

     * les éventuelles références ou lettres de recommandation

     * les éventuelles publications scientifiques ou techniques

Envoi du dossier de candidature :

Les candidatures doivent être déposées par le biais du formulaire
http://www.inrialpes.fr/vasy/jobs/candidature, en indiquant le numéro de
l'emploi #2008B, de préférence avant le 31 août 2008. Toute candidature parvenue
après cette date ne sera considérée que si le poste n'a pas encore été pourvu.

Les éléments du dossier de candidature ne pouvant pas être transmis par le
formulaire peuvent être envoyés de préférence par e-mail ou à défaut par la voie
postale.