careers.thalesgroup.com · Posted 2d ago
stage en IA : automatisation de la conformité d’un référentiel documentaire et génération d’un code sécurisé
Internship
Job relayed by Stapply Data, its source: you apply there.
- Location
- 🇫🇷 Gennevilliers, France
- Role
- Data science
- Source
- Stapply Data
The posting
Nous recherchons un stagiaire en IA pour développer un filtre de données en Coq et prouver sa correction. Rejoignez notre équipe innovante à Gennevilliers et acquérez des compétences précieuses en méthodes formelles appliquées à la sécurité des logiciels.