Doctorant en Vérification formelle d'IA (H/F)
Thales · Palaiseau
Don’t apply blind. See how your CV matches this role first — free, in 30 seconds.
You will leave NewLuxJob. We do not receive or handle applications.
- Company
- Thales
- Location
- Palaiseau
- Posted
- June 6, 2026
About this job
En nous rejoignant, vous intégrerez le laboratoire CES spécialisé dans la conception des systèmes temps-réel embarqués critiques, le laboratoire ARX spécialisé dans le raisonnement et l’apprentissage pour les systèmes complexes, et un laboratoire académique. Le développement de l’intelligence artificielle est exponentiel dans tous les domaines d’application, y compris dans les systèmes critiques comme l’avionique, les satellites ou les systèmes médicaux. Pour ces systèmes, un processus de certification doit être suivi pour assurer que le système se comporte de manière sûre et respecte ses spécifications. Des processus de certification pour les systèmes basés sur l’IA sont en cours de définition, comme le standard vertical aérospatial ARP6983/ED-324, mais l’IA ne pourra pas être intégrée…
This is a short summary.
Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.
Salaries in France
Based on 5,194 postings that disclose pay.
Estimated from advertised pay across our sources — indicative gross annual figures, not an offer.
See if your CV fits this job
Paste your CV for an instant match score against this role — and get a tailored cover letter in one click.
- Instant match score for this role
- Tailored cover letter in one click
- Free — no credit card