Formation-expérience :

ingénieur ou docteur en informatique (ou diplôme équivalent)

Travail proposé :

Le poste est à pourvoir dans un environnement de haute technologie, au sein du projet VASY de l'INRIA Rhône-Alpes qui développe des logiciels pour la modélisation, la simulation et la validation de systèmes informatiques critiques.

Le projet VASY développe un format d'automates compact, le format BCG (Binary-Coded Graphs) permettant de stocker des automates de grande taille (plusieurs millions d'états et dizaines de millions de transitions). Ce format est bien adapté à la vérification d'automates tels que l'on peut les produire avec les machines séquentielles actuelles.

Récemment, l'utilisation de machines massivement parallèles (telles que la grappe de 225 PC installée à l'INRIA Rhône-Alpes) permet de construire des automates de taille beaucoup plus grande (dizaines, voire centaines de millions d'états). Le travail proposé consiste à :

• Améliorer le format BCG afin de permettre le passage à l'échelle pour de très grands automates, notamment par l'introduction de techniques de compression ("codecs") encore plus efficaces.



• Améliorer les logiciels d'exploitation du format BCG afin d'utiliser les machines massivement parallèles pour conserver de bonnes performances lorsque la taille des automates augmente de manière importante.

Compétences et qualités requises :

• Goût pour l'algorithmique et la programmation



• Développement logiciel en langage C / Posix



• Rigueur et aptitude au travail en équipe

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

• Programmation de machines parallèles (protocoles, sockets)



• Algorithmes de compression de données

Date prévisible d'embauche : 15 septembre - 1er octobre 2002

Durée du contrat : jusqu'au 31 décembre 2003 éventuellement renouvelable.

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

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

Hubert Garavel
INRIA Rhône-Alpes
655, avenue de l'Europe
38330 MONTBONNOT SAINT-MARTIN
Tel : 04 76 61 52 24
Fax : 04 76 61 52 52
E-mail : Hubert.Garavel@inria.fr
Web : http://vasy.inria.fr

Composition du dossier de candidature :

• lettre de motivation manuscrite



• 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 parvenir ou être déposées à l'adresse suivante :

Unité de recherche INRIA Rhône-Alpes
Service des Ressources Humaines
ZIRST 655, avenue de l'Europe
38330 MONTBONNOT SAINT-MARTIN

de préférence avant le 1er septembre 2002. Toute candidature parvenue après cette date ne sera considérée que si le poste n'a pas encore été pourvu.

N° de référence du dossier à rappeler sur la lettre de candidature : SRH/MZ/VZ/71211/2002-01

Back to the VASY Home Page