Emploi Methodes Formelles

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...

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...

Spécialité / Métier : Etudes Ingénierie Systèmes Embarqués/Ingénieur systèmes embarqués/systèmes de combat Type de contrat standard : Durée indéterminée Description du poste : Basé(e) à Ollioules, vous êtes rattaché(e) à la direction de l'industrie qui assure la conception et la production des systè...

Domaine : Systèmes d'information Contrat : CDI Description du poste : Au sein d'une équipe de chercheurs reconnus au niveau international dans le domaine des techniques de « containerisation » et « virtualisation », vous contribuez aux missions suivantes :- Mener, en partenariat avec les membres de ...

Domaine : Autre Contrat : CDD Description du poste : « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ?Le CEA recherche un.e In...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLa plupart des méthodes de vérification formelle de la robustesse d'un réseau de neurones proposent une vérification de propriété de robustesse assez simple : pour un voisinage d'une certaine t...

Rejoignez-nous en tant qu'Ingénieur assurance sécurité & méthodes formelles. La Business Unit RATP Infrastructures assure les missions de gestionnaire d'infrastructures. Elle est responsable de l'aménagement, de l'entretien et du renouvellement de l'infrastructure, et garantit dans la durée le maint...

Missions et enjeux du poste : - Réaliser des Essais sur les installations de sécurité des postes de signalisation pour le compte de la Direction Industrielle et Ingénierie au sein de SNCF Réseau. - Être en charge dans le cadre du développement des nouveaux systèmes de signalisation de l'élaboration ...

Stage - Machine Learning et la traduction formelle h/f En 2050, 70% de la population habitera en ville. L'efficacité et la sécurité du trafic ferroviaire sont des enjeux majeurs. Ensemble, concevons dès à présent les transports intelligents au service des générations futures. #SIEMENSMOBILITY Votre ...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : Vous rejoindrez notre groupe LSL/AISER, spécialisé en explicabilité, résilience et sureté des systèmes d’intelligence artificielle.Le domaine général est de s’assurer du bon fonctionnement des systèmes d...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : Vous rejoindrez notre groupe LSL/CLASS, spécialisé en analyse sémantique de code source pour la sûreté et la sécurité des logiciels.Plus précisément, vous rejoindrez l’équipe Frama-C, une plateforme open...

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 : Vous rejoindrez notre groupe LSL/CLASS, spécialisé en analyse sémantique de code source pour la sûreté et la sécurité logicielles.Plus précisément, vous rejoindrez l’équipe Frama-C, une plateforme open-s...

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 ...