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 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 (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 comparer entre eux les automates, l'équipe-projet VASY a développé un outil d'equivalence checking appelé BISIMULATOR.

Cet outil permet de vérifier si deux automates A1 et A2 sont équivalents (au sens de diverses relation d'équivalence bien connues dans la littérature scientifique) ou de vérifier si l'un des automates A1 contient l'autre automate A2 ou est inclus dans A2 (au sens de diverses relations de préordre).

Travail proposé :

Le travail proposé consiste à faire évoluer l'outil BISIMULATOR en y incorporant de nouvelles idées d'optimisation et d'évaluer les gains ainsi obtenus. Il comprendra les étapes suivantes :

• En lien avec les chercheurs de l'équipe-projet VASY, implantation (en langage C) de nouveaux codages proposés par VASY pour les relations d'équivalence et de préordre.


• Validation des résultats sur la base de tests construite par l'équipe VASY (plusieurs dizaine de milliers d'exemples) afin de s'assurer de la correction des optimisations apportées et des gains en performance éventuels.

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 :

• Méthodes formelles

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

Radu Mateescu INRIA Rhône-Alpes 655, avenue de l'Europe MONTBONNOT SAINT-MARTIN F-38334 SAINT-ISMIER CEDEX Tel : 04 76 61 54 86 Fax : 04 76 61 52 52 E-mail : Radu.Mateescu@inria.fr avec copie à Hubert.Garavel@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 #2009D, 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