Formation-expérience :

docteur, ingénieur ou DEA en informatique

Travail proposé :

Ce travail s'inscrit au sein de la coopération Dyade entre Bull et l'INRIA et, plus précisément, de l'action FormalFame.

Cette action vise à fournir des outils logiciels pour assister le développement de serveurs Bull hautes performances basés sur le processeur Itanium 64 bits d'Intel (architecture IA-64). L'action FormalFame est ciblée sur le test et la vérification d'architectures multiprocesseurs au moyen de la boîte à outils CADP.

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

Le ou la candidat(e) retenu(e) participera activement aux travaux de vérification et de l'architecture multiprocesseurs 64 bits, et notamment à la connexion entre les spécifications de l'architecture et la plate-forme de tests de Bull. En fonction des besoins, le travail portera aussi sur l'amélioration des outils CADP et le développement d'outils pour le pilotage automatique de la plate-forme de tests.

Compétences requises :

• Développement logiciel en langage C sous Unix



• Langages de programmation, compilation



• Travail en équipe et esprit d'initiative

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

• Notions d'architectures multiprocesseurs



• Connaissances en méthodes formelles

Date prévisible d'embauche : 1er octobre 2001

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

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

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

Solofo Ramangalahy (Bull)
INRIA Rhône-Alpes
655, avenue de l'Europe
38330 MONTBONNOT SAINT-MARTIN
Tel : 04 76 61 52 79
Fax : 04 76 61 52 52
E-mail : Solofo.Ramangalahy@inrialpes.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

et éventuellement:

• références ou lettres de recommandation



• liste de publications scientifiques ou techniques

Adresse d'envoi du dossier de candidature :

Unité de recherche INRIA Rhône-Alpes
Service administratif / Bureau du personnel et des affaires sociales
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 avant le 10 septembre 2001. 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 : SA/71211/2001-03

Back to the VASY Home Page