ingénieur informatique Vérification SoC – sécurité informatique (H/F) (IT)

Contexte Dans le cadre du développement d'un System-on-Chip (So

C) multic?ur de nouvelle génération destiné à des applications critiques, vous intégrerez une équipe en charge de la vérification des fonctionnalités de sécurité matérielle. Vous contribuerez à la validation de l'architecture de sécurité et des mécanismes de protection afin de garantir la conformité du composant aux exigences de cybersécurité et de sûreté des systèmes embarqués. Vos missions Définir et exécuter les stratégies de vérification de la sécurité au niveau des sous-systèmes et du So

C. Élaborer les plans de vérification, les scénarios de tests et les modèles de couverture associés aux exigences de sécurité. Vérifier les fonctionnalités de sécurité matérielle (Secure Boot, Secure Debug, contrôle d'accès, gestion des privilèges, protection mémoire, isolation des domaines de sécurité, etc.). Développer et maintenir les environnements de vérification sous System

Verilog et UVM. Concevoir des scénarios de tests dirigés et aléatoires, analyser la couverture et assurer la traçabilité des exigences. Identifier et corriger les anomalies liées au RTL et à l'intégration des mécanismes de sécurité. Participer aux activités de validation finale (sign-off) et contribuer à l'amélioration continue des méthodologies de vérification. Profil candidat: Environnement technique Vérification & Développement System

Verilog, UVM AMBA (AXI, AHB, APB) Débogage RTL et analyse de chronogrammes (Waveform Analysis) Environnement de simulation Cadence Python, C Architecture So

C Assertion-Based Verification (SVA) Coverage-Driven Verification Sécurité matérielle Vérification des mécanismes de sécurité : Secure Boot, Secure Debug, contrôle d'accès, gestion des privilèges, protection mémoire et isolation des domaines de sécurité. Validation des modules de sécurité matériels (HSM ou équivalent), des registres de sécurité, de la gestion du cycle de vie sécurisé et des mécanismes d'authentification. Vérification des mécanismes de provisionnement des clés, de chargement sécurisé du firmware et de remontée des événements de sécurité. Expérience des environnements d'intégration de So

C complexes. Compétences complémentaires Connaissance des concepts ARM Trust

Zone. Compréhension des enjeux de Functional Safety et de Hardware Security. Requirements-Based Verification (RBV). Utilisation d'outils d'IA pour la vérification et le débogage (appréciée).