Doctorant en Vérification formelle d'IA (H/F)
Thales(2 months ago)
About this role
Thales Research & Technology offers a PhD (Doctorant) position in Palaiseau focused on formal verification of AI for safety-critical embedded systems. The role involves evaluating formal verification tools for neural networks and developing an end-to-end trustworthy AI methodology to support certification in domains like avionics and satellites. The work is conducted in collaboration with internal labs and an academic partner.
Required Skills
- Formal Verification
- Model Checking
- Constraint Solving
- Neural Networks
- Machine Learning
- Programming
- Logic
- Software Engineering
- Communication
- English
+1 more
Qualifications
- Master 2
- Diplôme d'Ingénieur
About Thales
thalesgroup.comFrom Aerospace, Space, Defence to Security & Transportation, Thales helps its customers to create a safer world by giving them the tools they need to perform critical tasks
View more jobs at Thales →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at Thales
Similar Jobs
Distinguished Formal Verification
Astera Labs(1 day ago)
Part-Time Lecturer in School of Electrical & Electronic Engineering – EE7207 Neural Networks & Deep Learning
Nanyang Technological University Singapore(4 months ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(4 months ago)
FVCTO - Formal Verification Engineer
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(1 month ago)