Stage - Synthèse et vérification de propriétés fonctionnelles pour les systèmes embarqués F/H
Thales · Meyreuil
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
- Meyreuil
- Employment type
- Internship
- Posted
- October 23, 2026
About this job
Lors de ce stage, vous développez une méthodologie automatique pour générer des propriétés de vérification fonctionnelle à partir d'une source unique fiable. Vous appliquez cette méthode sur un processeur open-source, afin de simplifier et fiabiliser la vérification des composants tels que processeurs, SoC ou accélérateurs cryptographiques. L’objectif est de réduire le temps, les erreurs et la dérive entre documentation et code, un problème fréquent dans la conception, particulièrement dans un contexte industriel intégrant l’IA. Pour ce faire vous avez à: - concevoir une méthodologie automatique pour générer des propriétés de vérification à partir d’une source unique, cohérente avec le code RTL et la documentation.…
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,132 postings that disclose pay.
Estimated from advertised pay across our sources — indicative gross annual figures, not an offer.
Similar jobs
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