Alternance - Ingénieur Développement Logiciel Embarqué - F/h

THALES

Cholet, France
C programming knowledge
Embedded environment interest
Formal proof methods
You will explore and industrialize new uses of formal proof on embedded C code to increase trust in delivered software

Job Summary

  • You will explore and industrialize new uses of formal proof on embedded C code to increase trust in delivered software.
  • The role involves analyzing target C code to identify properties provable formally, such as memory safety and absence of buffer overflows.
  • Thales invests nearly 4 billion euros annually in R&D across key innovation domains including AI, cybersecurity, and quantum technologies.

Matching Summary

You will explore and industrialize new uses of formal proof on embedded C code to increase trust in delivered software.

Skills & Requirements

Must-have

  • C programming knowledge
  • embedded environment interest
  • formal proof methods

Nice-to-have

  • logic and program semantics
  • rigor and abstraction skills
  • curiosity and adaptability

Key Requirements

  • One-year apprenticeship (Alternance)
  • Bac+5 degree in embedded computer science
  • National defense clearance eligibility

Work Rights

Must be eligible for national defense secrecy clearance

Tailored Resume

Cover Letter