|
| Attention, cette offre est arrivée à expiration. |
|
|
 | Emploi Doctorant CIFRE Bull et INRIA Les Clayes sous Bois | |
|
|
Bull et le Centre de recherche INRIA de Grenoble Rhône-Alpes recrutent un
doctorant 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 : #2010A.
|
|
  |
|
| Lieu: | | Les Clayes sous Bois / Yvelines (78) | |
|
| Mots clés: | | Méthodes formelles | |
|
| 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 |
|
