Emplois actuels liés à Doctorant Vérification Formelle de l’IA — Confiance - Palaiseau - Thales Group
-
Doctorant en Vérification formelle d'IA
il y a 2 jours
Palaiseau, Île-de-France Thales Temps pleinLieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...
-
Doctorant en Vérification formelle d'IA
il y a 3 semaines
Palaiseau, Île-de-France Thales Temps pleinLieu : Palaiseau, FranceConstruisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus...
-
Doctorant en Vérification Formelle Des Os
il y a 7 jours
Palaiseau, France Thales Temps pleinLieu : Palaiseau, France **Construisons ensemble un avenir de confiance**: Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinQui sommes-nous ?Télécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.La Raison d'Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des solutions...
-
Post-doctorante ou Post-doctorant en Imagerie
il y a 7 jours
Palaiseau, France Institut Mines-Télécom Temps plein**Qui sommes-nous ?** Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises. La **Raison d’Être** de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des...
-
Post Doctorant
il y a 2 semaines
Palaiseau, France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps plein**Contexte****: Plus ancienne école d’ingénieurs de France, ENSTA Paris est un établissement d’enseignement supérieur et de recherche sous tutelle du ministère des Armées qui a pour mission la formation d’élèves ingénieurs de haut niveau, d’étudiants de masters, de doctorants ainsi que la conduite d’activités de recherche au service des...
-
Palaiseau, Île-de-France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Solveur Non-linéaire Pour La Vérification de
il y a 7 jours
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Solveur non-linéaire pour la vérification de réseaux de neurones H/F **Sujet de stage**: - Implémentation d'un solveur pour des équations non-linéaires afin de vérifier des réseaux de neurones **Durée du...
-
place Marguerite Perey Palaiseau, Île-de-France, France Institut Mines-Télécom Temps pleinDescription de l'offre d'emploi Qui sommes-nous ?Télécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.La Raison d'Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles,...
-
Vérification de Propriétés Probabilistes Pour
il y a 1 semaine
Palaiseau, France École polytechnique Temps plein**Vérification de propriétés probabilistes pour l'Intelligence Artificielle // Verification of probabilistic properties for Artificial Intelligence**: - Réf **ABG-126167** **ADUM-59248** - Sujet de Thèse- 08/10/2024- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Vérification de...
Doctorant Vérification Formelle de l’IA — Confiance
il y a 2 jours
Une entreprise de haute technologie recherche un doctorant en Vérification formelle d'IA. Le candidat évaluera des outils de vérification pour les réseaux de neurones et proposera une méthodologie d'IA de confiance. Il faudra des compétences en logique, IA, programmation, ainsi qu'un niveau d'anglais et de français B2-C1. Ce poste à Palaiseau offre un environnement dynamique au sein d'un laboratoire de recherche innovant.
#J-18808-Ljbffr
