Date prévisible d'embauche : septembre - octobre 2009

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

Durée du contrat : 14 mois

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

Rémunération : à partir de 29800 EUR bruts / 24350 EUR nets pour un ingénieur débutant (sur la base de 8 semaines de congés annuels) et plus selon durée d'expérience.

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

Contexte du travail proposé :

Le poste est à pourvoir dans un environnement de haute technologie, au sein de l'équipe-projet VASY (centre de recherche INRIA de Grenoble Rhône-Alpes et laboratoire LIG), 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 1.0 combiné avec la compression bzip2 était le moyen le plus compact de stocker des automates de grande taille (plusieurs millions d'états).

Les travaux effectués en 2008-2009 ont conduit à une nouvelle version BCG 1.1 capable de fonctionner sur les architectures 64 bits et de stocker des graphes comportant plus de 4 milliards d'états et de transitions. Ils ont aussi suggéré des pistes d'évolution du format BCG en intégrant de nouveaux algorithmes de compression.

Travail proposé :

Le travail proposé consiste à faire évoluer le format et les outils BCG afin de mettre en oeuvre ces nouvelles idées. Il comprendra les étapes suivantes :

• En lien avec les chercheurs de l'équipe-projet VASY, implantation d'une nouvelle version 2.0 du format BCG intégrant des techniques de compression additionnelles.


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


• Sur cette suite VLTS 2.0, étude comparative des différents formats de représentation d'automates (taux de compression, temps d'exécution, etc.)

Compétences et qualités requises :

• Diplôme d'ingénieur, master ou docteur en informatique (ou é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://vasy.inria.fr/jobs/candidature, en indiquant le numéro de l'emploi #2009C, de préférence avant le 21 septembre 2009. 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.

Back to the VASY Home Page