|
| Attention, cette offre est arrivée à expiration. |
|
|
 | Emploi Ingénieur-expert logiciel INRIA Montbonnot St Martin | |
|
|
Le poste proposé prend place au sein du projet Topcased (Toolkit in OPen-source for Critical Application and SystEms Development) du pôle de compétitivité AESE (Aéronautique, Espace et Systèmes Embarqués).
Fiche de poste :
http://www.inrialpes.fr/vasy/jobs/2008c.html |
|
  |
|
| Lieu: | | Montbonnot St Martin / Isère (38) | |
|
| Mots clés: | | modélisation veérification | |
|
| 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 |
|
