Stage IA de Confiance: Vérification Formelle

CEA; Saclay; Sur place; EUR 10 000 - 17 000; Plein temps

Avantages offerts par ce poste

Restaurant d'entreprise

Diversité et inclusion

Résumé du poste

Stage IA de confiance au CEA Saclay, dédié à la vérification formelle et aux domaines différentiels dans le cadre de l’IA de confiance. Le stagiaire contribuera à l’extension de PyRAT avec de nouveaux domaines abstraits et participera à des benchmarks sur des cas d’usage réels, dans un laboratoire de renommée internationale.

Le candidat prépare un diplôme M1/M2 en informatique ou mathématiques et possède des bases en Python et en intelligence artificielle.

Qualifications

• Diplôme de niveau M1 ou M2 en informatique ou mathématiques en cours.
• Connaissances en développement Python et en IA attendues.
• Intérêt pour la vérification formelle et les méthodes de sûreté des IA.

Responsabilités

• Implémenter dans PyRAT des domaines abstraits différentiels pour vérifier des propriétés de sûreté.
• Réaliser des benchmarks et évaluer les performances des implémentations.
• Travailler en équipe de recherche sur des techniques de vérification formelle.

Connaissances

Python

Mathématiques

Intelligence artificielle

Formation

Informatique

Mathématiques

Outils

PyRAT

Description du poste

Stage IA de confiance au CEA Saclay, dédié à la vérification formelle et aux domaines différentiels dans le cadre de l’IA de confiance. Le stagiaire contribuera à l’extension de PyRAT avec de nouveaux domaines abstraits et participera à des benchmarks sur des cas d’usage réels, dans un laboratoire de renommée internationale.

Le candidat prépare un diplôme M1/M2 en informatique ou mathématiques et possède des bases en Python et en intelligence artificielle.