Doctorant en Vérification formelle d'IA F/H

Lieu : 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 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 81 000 collaborateurs dans 68 pays. ​

Nos engagements, vos avantages

• Une 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

Votre quotidien

Thales Research&Technology, notre centre de recherche dans les domaines matériels, et CortAIx Labs, notre centre de recherche en IA et digital ont pour mission de proposer des innovations de ruptures, de maintenir et d’accroitre l’avance technologique et d’en assurer la compétitivité pour le groupe.

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’étud