Ingénieur en Vérification formelle d’algorithmes à base d’IA

Lieu : 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 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 avantagesNotre savoir-faire technologiqueNotre attention portée à l’équilibre des collaborateursUn environnement inclusif et bienveillantUn engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)Votre quotidienThales 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 intégrant le laboratoire spécialisé dans le raisonnement et l’apprentissage pour les systèmes complexes, vous vous intéresserez à l’application des outils de vérification formelle aux algorithmes à base d’IA tels que des réseaux de neurones et des systèmes de règles de logique floue.Des projets en cours chez Thales visent à accroître la confiance dans les algorithmes utilisant des réseaux de neurones. Dans ce contexte, vous devrez identifier les critères de confiance pouvant faire l’objet de garanties formelles en adaptant des outils de vérification existants. Vous mettrez en place une méthodologie de vérification en définissant les propriétés à démontrer et en les prouvant automatiquement. Vous participerez également à la réflexion sur l’adaptation de ces outils pour des réseaux de neurones dédiés à d’autres tâches que la classification, comme la détection d’objets ou la régression. L’un de vos objectifs sera d’automatiser au maximum la vérification et de produire des contre‑exemples explicables et exploitables pour leur amélioration.Dans ce contexte, vous aurez comme missions :Apprendre ou approfondir vos connaissances en spécification et vérification formelle.Appliquer des outils de vérification formelle à des algorithmes à base d’IA pour en identifier les possibilités et les limites.Contribuer à l’adaptation d’un outil pour la vérification de réseaux de neurones et l’évaluer sur des exemples réels ou représentatifs.Proposer des hypothèses et un cadre pour la traduction d’un système de règles de logique floue vers un ensemble de contraintes pour un solveur.Cette expérience vous permettra de développer des compétences solides en vérification formelle appliquée aux algorithmes à base d’intelligence artificielle. Une poursuite en thèse est possible après le stage.Votre profil STAGE – Ingénieur en Vérification formelle d’algorithmes à base d’IA (H/F) – 6 moisVous avez envie de découvrir le domaine de la recherche ?Vous avez pour ambition de réaliser votre stage au sein de Thales ?Vous souhaitez évoluer dans un milieu international ?Etudiant en Master 2, en Ecole d’ingénieur ou formation équivalente, avec une spécialisation en informatique, vous avez des connaissances en :Logique et génie logiciel ;IA connexionniste ou symbolique ;Vérification formelle ;Model-checking ;Solveurs de contraintes ;Anglais (niveau B2-C1 attendu) ;Un bon niveau de programmationRigueur, autonomie et curiosité sont des atouts que l'on vous reconnait ? Alors ce stage est fait pour vous Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous 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 Cybersécurité & Identité numérique. 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. Avec plus de 600 experts IA et une centaine de doctorants en IA chaque année, et disposant d’un réseau de partenaires industriels, start-up et académiques de premier ordre, Thales est, depuis une décennie, un acteur majeur de l’IA de confiance, transparente, explicable et éthique. Le Groupe figure en tête, en Europe, dans le classement des déposants de brevets dans l’IA des systèmes critiques. Il intègre de l’IA dans plus d’une centaine de ses produits et services. CortAIx est l’accélérateur IA qui dotera les forces armées, les avionneurs et tous les opérateurs d’infrastructures critiques, de solutions hautement sécurisées leur apportant plus d’efficacité dans l’analyse des données et la prise de décision, tout en tenant compte des contraintes spécifiques, telles que la cybersécurité, l’embarquabilité et la frugalité, liées aux environnements critiques. Au sein de cette nouvelle organisation, nous représentons l'axe "cortAIx Factory" qui vise à accélérer la qualification et l’industrialisation des outils de développement de l’IA ainsi que les cas d’usage pour les données des systèmes. Thales dote déjà ses systèmes d’IA et continue d’identifier de nouveaux cas d’usages pour accélérer la performance, comme par exemple la planification de missions, la gestion du trafic aérien, le pilotage de drones et de robots.