Alternance – Évaluateur Sécurité – Embedeed Systems F/h– F/h

THALES

Gennevilliers, France
Not specified; not specified; benefits include wor...
Lean formal methods experience
Rust programming language skills
C programming background
The intern will enrich security expertise tools to formally prove the security of embedded software using Lean methodology

Job Summary

  • The intern will enrich security expertise tools to formally prove the security of embedded software using Lean methodology.
  • This role involves rewriting existing C-based embedded software into Rust and proving its correspondence with the abstract model.
  • Thales offers a collaborative environment within a human-sized team where technical excellence and continuous learning are central values.

Matching Summary

The intern will enrich security expertise tools to formally prove the security of embedded software using Lean methodology.

Salary

Not specified; Not specified; Benefits include work-life balance and inclusive environment

Skills & Requirements

Must-have

  • Lean formal methods experience
  • Rust programming language skills
  • C programming background
  • Functional programming knowledge
  • Mathematical reasoning ability

Nice-to-have

  • Interest in emerging vulnerabilities
  • CTF competition participation
  • Teamwork and autonomy
  • Curiosity for technical challenges

Key Requirements

  • BAC+5 engineering degree required
  • 3-year apprenticeship program
  • National defense security clearance required

Work Rights

Must have French work authorization for apprenticeship

Tailored Resume

Cover Letter