L'Unité de recherche INRIA Rhône-Alpes recrute un(e) Ingénieur-Expert(e) <pourvu>
Date prévisible d'embauche : 1er mars 2007
Modalité de recrutement : contrat à durée déterminée
Durée du contrat : 12 mois, éventuellement renouvelable pendant toute la durée du projet Multival (3 ans)
Lieu de travail : Montbonnot Saint Martin (Isère - proche de Grenoble)
Rémunération : à partir de 29500 EUR bruts / 24040 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 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 VASY de l'INRIA Rhône-Alpes 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é :
Dans le cadre du projet Multival, l'équipe VASY étudie le portage de ses outils CADP vers les nouvelles architectures de machines 64 bits (Itanium, Opteron, Sparc, Xeon...). Ceci nécessite non seulement le portage des outils développés par VASY, mais aussi celui des logiciels tiers utilisés par CADP ou pour développer CADP.
Parmi ces derniers figure le générateur de compilateurs TRAIAN. En effet, TRAIAN est utilisé pour développer un grand nombre d'outils de CADP (notamment, EVALUATOR, EXP.OPEN, SVL) ainsi que de nombreux autres traducteurs (AAL, NTIF, Chp2Lotos, Csp2Lotos, Fsp2Lotos, etc.). Pour cela, l'équipe VASY emploie des techniques de construction de compilateurs innovantes.
TRAIAN compile la partie données du langage
LOTOS NT
(version simplifiée de la norme
ISO/IEC 15437:2001
) vers le langage C
(voir [Sig99]).
LOTOS NT est un langage à sémantique fonctionnelle et à syntaxe impérative.
Dans le cadre du projet
FormalFame Plus,
Bull utilise le langage LOTOS NT pour la conception de ses serveurs haut de gamme.
La version
actuelle de TRAIAN est développée à l'aide de FNC2, qui est un générateur
de compilateurs basé sur des grammaires attribuées.
Cependant, FNC2 n'est plus maintenu et aucune version n'est disponible pour
les architectures 64 bits.
Le travail proposé consiste à:
- comprendre le code source de TRAIAN 2.5 écrit sous forme de grammaires attribuées FNC2,
- écrire en langage LOTOS NT une nouvelle version 3.0 de TRAIAN. Cela consiste à passer d'un formalisme déclaratif (grammaire attribuées FNC2) à un langage impératif,
- fabriquer TRAIAN 3.0 au moyen d'un processus d'amorçage ("bootstrap") utilisant le compilateur TRAIAN 2.5,
- obtenir des versions 64 bits de TRAIAN 3.0,
- en lien avec les autres membres de l'équipe VASY, utiliser TRAIAN 3.0 pour la fabrication des compilateurs et traducteurs de CADP développés en LOTOS NT,
- à plus long terme, étendre TRAIAN avec de nouvelles fonctionnalités.
Compétences et qualités requises :
- Diplôme d'ingénieur en informatique ou Master équivalent
- Aptitude à travailler en équipe
- Bonnes connaissances en programmation impérative et fonctionnelle
- Discipline de programmation et souci de la qualité du logiciel
- Bonne pratique de l'anglais écrit
Une ou plusieurs des connaissances suivantes
constitueraient un atout supplémentaire :
- Expérience antérieure de programmation en langage C
- Techniques de compilation
Pour tous renseignements sur l'emploi proposé, contacter :
David Champelovier
INRIA Rhône-Alpes 655, avenue de l'Europe MONTBONNOT SAINT-MARTIN F-38334 SAINT-ISMIER CEDEX Tel : 04 76 61 52 72 Fax : 04 76 61 52 52 E-mail : David.Champelovier@inria.fr avec copie à Hubert.Garavel@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 peuvent être déposées par le biais du formulaire http://www.inrialpes.fr/vasy/jobs/candidature ou adressées directement à David Champelovier et Hubert Garavel comme indiqué ci-dessus, en indiquant la référence #2007A, de préférence avant le 15 février 2007. 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.