|
| Attention, cette offre est arrivée à expiration. |
|
|
 | Emploi ingénieur-expert INRIA langages et compilation Montbonnot St Martin |  |
|
|
Le poste proposé prend place au sein du projet Multival du pôle de compétitivité Minalogic.
Voir fiche de poste détaillée sur
http://www.inrialpes.fr/vasy/jobs/2008d.html |
|
 |
|
| Lieu: | | Montbonnot St Martin / Isère (38) | |
|
| Mots clés: | | langage compilation | |
|
| Type de Contrat: | | CDD | |
|
| Date: | | 3/01/2009 |
|
| Entreprise: | | INRIA Grenoble Rhone-Alpes | |
|
| Site Web: | | http://www.inrialpes.fr/vasy/ | |
|
| Description: | | VASY est une équipe de recherche de l'INRIA qui travaille dans le domaine des méthodes formelles appliquées aux systèmes dont la fiabilité est critique. Les activités de recherche de VASY comprennent les langages formelles de spécification et les méthodologies associées, la compilation et des techniques de prototypage rapide, simulation, validation, vérification et test. VASY développe des outils logiciels, qui sont utilisés dans de nombreuses études de cas et dans plusieurs projets de transfert de technologie avec des partenaires industriels. | |
|
| Annuaire | Offres | Derniers CV | Espace Candidat | Espace Entreprise |
|