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

Rejoignez Thales, un leader mondial des hautes technologies, en tant que doctorant en vérification formelle d'IA. Vous travaillerez sur des projets innovants dans le domaine de l'intelligence artificielle et contribuerez à la certification de systèmes critiques.

• Évaluer les outils de vérification formelle de réseaux de neurones et adapter les outils open-source si nécessaire.
• Proposer une méthodologie d’IA de confiance de bout-en-bout s’appuyant sur les garanties apportées par les outils.
• Mettre en place une méthodologie de vérification mixte mêlant les méthodes formelles à d’autres techniques de vérification.