Emploi Methodes Formelles

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la ...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : CEA Tech Corporate from CEA Tech on Vimeo.Le laboratoire participe au développement de la plateforme MAAT IAT pour la spécification et l’analyse formelle de système distribués de tout type. MAAT IAT met ...

Domaine : Moyens généraux et installations Contrat : CDI Description du poste : Le poste proposé concerne la fonction d'assistante du SGLS et des trois laboratoires du service. L'effectif du SGLS est constitué de 35 permanents, d'une dizaine de non permanents (CDD, prestataires) ainsi qu'une dizaine...

Dassault Systèmes, The 3DEXPERIENCE Company , offre aux entreprises et aux particuliers les univers virtuels nécessaires à la conception d'innovations durables. Ses solutions leaders sur le marché transforment pour ses clients, la conception, la fabrication et la maintenance de leurs produits. Les s...

A propos de nous : Hitachi Rail est un fournisseur mondial entièrement intégré de solutions de transport ferroviaire de pointe. Nous développons continuellement des solutions dans les domaines du matériel roulant, de la signalisation, de l’exploitation, du service et de la maintenance, ainsi que de ...

Dassault Systèmes, The 3DEXPERIENCE Company , offre aux entreprises et aux particuliers les univers virtuels nécessaires à la conception d'innovations durables. Ses solutions leaders sur le marché transforment pour ses clients, la conception, la fabrication et la maintenance de leurs produits. Les s...