Stage - Synthèse et vérification de propriétés fonctionnelles pour les systèmes embarqués F/H
Thales · Meyreuil
Ne postulez pas à l’aveugle. Voyez d’abord si votre CV correspond à cette offre — gratuit, en 30 secondes.
Vous quittez NewLuxJob. Nous ne recevons ni ne traitons les candidatures.
- Entreprise
- Thales
- Lieu
- Meyreuil
- Type de contrat
- Stage
- Publiée le
- 23 octobre 2026
À propos de ce poste
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.…
Ceci est un résumé.
Vous voulez savoir si vous correspondez ? Comparez votre CV à cette offre — gratuit, en 30 secondes.
Salaires — France
Basé sur 5 132 offres indiquant la rémunération.
Estimé à partir des rémunérations affichées sur nos sources — montants bruts annuels indicatifs, pas une offre.
Offres similaires
Votre CV correspond-il à cette offre ?
Collez votre CV pour obtenir un score de correspondance instantané pour ce poste — et une lettre de motivation sur mesure en un clic.
- Score de correspondance instantané pour ce poste
- Lettre de motivation sur mesure en un clic
- Gratuit — sans carte bancaire