|
| Attention, cette offre est arrivée à expiration. |
|
|
 | Emploi Ingénieur R&D informatique Montbonnot | |
|
|
Le Centre de recherche INRIA Grenoble Rhône-Alpes recrute un ingénieur
en informatique sur le sujet "Vérification de protocoles de cohérence de
caches pour les calculateurs à haute performance".
Les détails de l'annonce sont visibles sur le site web de l'équipe-projet
VASY de l'INRIA Grenoble Rhône-Alpes.
Référence de l'emploi : #2010B.
|
|
  |
|
| Lieu: | | Montbonnot / Isère (38) | |
|
| Mots clés: | | Compilation | |
|
| Type de Contrat: | | CDD | |
|
| Date: | | 19/02/2010 |
|
| 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 |
|
