Emplois actuels liés à Doctorant en Vérification formelle d'IA - Palaiseau, Île-de-France - Thales
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPrésentation de Télécom SudParis :Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets d'équipes, l'innovation de rupture et...
-
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...
-
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...
-
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...
-
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...
-
Palaiseau, France ENSTA Temps pleinPost-doctorant : « Artificial Intelligence for Sustainable Renewable Energy Production and Storage in Subsurface Reservoirs”Get AI-powered advice on this job and more exclusive features.Description de l'offre d'emploiContexteENSTA est un établissement d’enseignement supérieur et de recherche sous tutelle du ministère des Armées. L’école a pour...
-
Palaiseau, France ONERA Temps plein**Présentation de l'ONERA** L’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 294 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...
-
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...
-
Stage - Attaques Adverses Et Contre-exemples Pour
il y a 7 jours
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - STAGE - Attaques adverses et contre-exemples pour la vérification de réseaux de neurones H/F **Sujet de stage**: - Implémentation d'attaques adverses et contre-exemples pour la vérification de réseaux de...
-
Chargé de Partenariat Et Valorisation
il y a 7 jours
Palaiseau, France INSTITUT D OPTIQUE Temps pleinDescriptif du poste Institut d Optique Graduate School (IOGS) implanté sur le plateau de Saclay à Palaiseau, mais également à Saint-Étienne et Bordeaux, est un établissement d enseignement supérieur et de recherche, membre fondateur de l Université Paris-Saclay. Établissement de statut privé chargé d une mission d intérêt public concernant l...
Doctorant en Vérification formelle d'IA
il y a 2 semaines
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 l'environnement et plus inclusif. Le Groupe investit près de 4 milliards d'euros par an en Recherche & Développement, notamment dans des domaines clés de l'innovation tels que l'IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de collaborateurs dans 68 pays.
Nos engagements, vos avantagesUne réussite portée par notre excellence technologique, votre expérience et notre ambition partagée
Un package de rémunération attractif
Un développement des compétences en continu : parcours de formation, académies et communautés internes
Un environnement inclusif, bienveillant et respectant l'équilibre des collaborateurs
Un engagement sociétal et environnemental reconnu
En nous rejoignant, vous intégrerez le laboratoire CES spécialisé dans la conception des systèmes temps-réel embarqués critiques, le laboratoire ARX spécialisé dans le raisonnement et l'apprentissage pour les systèmes complexes, et un laboratoire académique.
Le développement de l'intelligence artificielle est exponentiel dans tous les domaines d'application, y compris dans les systèmes critiques comme l'avionique, les satellites ou les systèmes médicaux. Pour ces systèmes, un processus de certification doit être suivi pour assurer que le système se comporte de manière sûre et respecte ses spécifications. Des processus de certification pour les systèmes basés sur l'IA sont en cours de définition, comme le standard vertical aérospatial ARP6983/ED-324, mais l'IA ne pourra pas être intégrée dans des systèmes critiques sans qu'il soit apporté des garanties fortes de confiance.
La confiance dans l'intelligence artificielle est définie au travers de plusieurs critères, parmi lesquels la validité, la stabilité ou la sûreté. Ces critères doivent être évalués de façon rigoureuse pour augmenter la confiance dans l'IA. Comme pour le logiciel classique, les méthodes formelles peuvent être utilisées pour mener ces évaluations. Plusieurs outils sont apparus ces dernières années pour automatiser ces tâches de vérification formelle sur des réseaux de neurones. Des cas d'étude industriels montrent l'applicabilité de ces outils, et leur intégration dans les processus de certification commence à être étudiée, sous l'angle de la transposition à l'implémentation des propriétés prouvées sur le modèle.
Votre thèse aura 2 objectifs :
Premièrement, évaluer les outils de vérification formelle de réseaux de neurones pour étudier leur capacité à traiter les réseaux de neurones développés et entraînés au sein de Thales. Si nécessaire, des adaptations d'outils open-source ou des interfaces pour ces outils seront réalisées.
Parallèlement, pour que ces méthodes et outils puissent être utilisés dans des processus de certification, il s'agira de proposer une méthodologie d'IA de confiance de bout-en-bout s'appuyant sur les garanties fortes apportées par les outils pour vérifier des algorithmes complets utilisant des réseaux de neurones.
En effet, l'utilisation d'un réseau de neurones est la plupart du temps encapsulée dans un algorithme plus large qui inclut un pré-traitement des données issues des capteurs par exemple, et éventuellement un post-traitement des sorties du réseau. Ces phases de pré et post-traitement doivent être prises en compte dans la vérification de la stabilité ou de la sûreté de l'algorithme, mais ne sont la plupart du temps pas éligibles à l'application d'outils formels. Il faudra alors mettre en place une méthodologie de vérification mixte mêlant les méthodes formelles à d'autres techniques de vérification ou de surveillance.
Cette thèse est la continuité de travaux menés récemment dans nos laboratoires, à la fois sur l'évaluation des outils et sur la définition d'une méthodologie de vérification établie dans le cadre d'un projet européen sur un cas d'étude spatial.
Le travail se déroulera en étroite collaboration avec les encadrants de la thèse et un laboratoire académique pour vous permettre d'approfondir vos connaissances dans le domaine et de mener à bien votre projet de thèse.
Votre profil Doctorant en Vérification formelle d'IA (H/F)Votre priorité est de faire une thèse ?
Vous avez l'ambition de contribuer au monde la recherche ?
Vous avez envie de découvrir la recherche au sein de Thales ?
Vous disposez d'un master 2 ou d'un diplôme d'ingénieur en informatique et avez de l'expérience sur :
Connaissances dans un ou plusieurs des domaines suivants : logique et génie logiciel, IA connexionniste ou symbolique, vérification formelle, model-checking, solveurs de contraintes, intérêt pour les synergies entre ces domaines.
Programmation
Anglais, français (niveau B2 – C1 attendu)
Curiosité, rigueur, bon sens de la communication sont des atouts que l'on vous reconnait ? Alors ce poste est fait pour vous
Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous