Date prévisible d'embauche : mars-avril 2010

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

Durée du contrat : 8-9 mois, éventuellement renouvelable

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

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 largement 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 une boîte à outils logicielle (CADP) pour la modélisation, la simulation et la validation de systèmes informatiques critiques.

Travail proposé :

L'équipe VASY a conçu un langage de spécification appelé LOTOS NT, qui est une version simplifiée de la norme internationale E-LOTOS (norme ISO 15437:2001). Ce langage est utilisé pour décrire des systèmes complexes (par exemple, des protocoles de communication spécifiés par Bull et Airbus).

Pour traiter les spécifications LOTOS NT, l'équipe VASY a développé les outils LNT.OPEN, LNT2LOTOS et LPP qui transforment une spécification LOTOS NT en une spécification LOTOS (norme ISO 8807:1989, plus ancienne que la norme E-LOTOS) qui peut ensuite être compilée et analysée avec la boîte à outils CADP.

Le travail proposé consiste à améliorer le traducteur LNT2LOTOS en lien avec, d'une part, les chercheurs de VASY qui ont conçu les algorithmes de traduction et, d'autre part, les utilisateurs de ce traducteur, qui est désormais diffusé internationalement.

Compétences et qualités requises :

• Goût pour l'algorithmique et la programmation


• Souci de la qualité du logiciel


• Aptitude à travailler en équipe

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

• Pratique des langages fonctionnels (de type ML, CAML, etc.)


• Connaissance des techniques de compilation

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 à Wendelin.Serwe@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 la référence #2010B, de préférence avant le 8 mars 2010. 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