L'INRIA Rhône-Alpes (projet VASY) recrute un Ingénieur-Expert

Formation - expérience :

ingénieur informaticien (ou diplôme équivalent) débutant ou ayant quelques années d'expérience dans l'industrie ou la recherche.

Travail proposé :

Ce travail s'inscrit au sein du Groupement d'Intérêt Économique Bull/Inria (GIE Dyade) et, plus précisément, de l'action FormalCard lancée en avril 2000. Cette action vise à concevoir un environnement de développement formel pour les systèmes d'exploitation et les applications embarquées sur les cartes à puces de Bull CP8.

L' ingénieur participera à la définition d'un langage de spécification de haut niveau pour les applications embarquées, puis au développement d'un compilateur permettant de traduire ce langage vers du code C. Le compilateur sera produit avec des technologies modernes (utilisation d'un générateur d'analyseur et d'un langage fonctionnel).

Le travail proposé se déroulera au sein d'une équipe dynamique et dans un environnement de haute technologie, l'Unité de Recherche INRIA Rhône-Alpes qui accueille les personnels de Dyade.

Compétences requises :

• Pratique de la programmation en langage C
• Rigueur et qualité dans les développements logiciels
• Aptitude à travailler en équipe

Les compétences suivantes constituent un atout supplémentaire :

• Expérience dans la construction de compilateurs, soit en milieu industriel, soit dans le cadre d'un projet d'étudiants
• Connaissance des techniques d'analyse syntaxique
• Intérêt pour les langages informatiques
• Éventuellement, connaissance des méthodes formelles

Date prévisible d'embauche : juillet 2000

Durée du contrat : 12 mois renouvelable (l'action FormalCard est prévue pour une durée de 2 à 3 ans).

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
• curriculum vitae (précisant les réalisations logicielles effectuées)

• références ou lettres de recommandation
• liste de publications scientifiques ou techniques

Adresse d'envoi du dossier de candidature :

Bureau du personnel et des affaires sociales
Unité de recherche INRIA Rhône-Alpes
655, avenue de l'Europe
38330 MONTBONNOT SAINT-MARTIN

Date limite de dépôt de candidatures :

Les candidatures doivent parvenir ou être déposées à l'adresse ci-dessus, de préférence avant le 23 juin 2000. Toute candidature parvenue après cette date ne sera considérée que si le poste n'a pas encore été pourvu.

Back to the VASY Home Page