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

pour automatiser ces tâches de vérification formelle sur des réseaux de neurones. Des cas d’étude industriels montrent l’applicabilité... les outils de vérification formelle de réseaux de neurones pour étudier leur capacité à traiter les réseaux de neurones...

Lugar: Palaiseau, Essonne | 12/12/2025 03:12:06 AM | Salario: S/. No Especificado | Empresa: Thales