> Markdown version of [/jobs/ext/1910978-ingenieur-verification-soc-securite-h-f](https://www.wearedevelopers.com/jobs/ext/1910978-ingenieur-verification-soc-securite-h-f). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Ingénieur Vérification Soc - Sécurité H/F - **Company:** Celad - **Location:** Biot, France - **Salary:** €40,000.0 - €48,000.0 - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Software Debugging, Firmware, Python (Programming Language), Requirements Traceability, System on a Chip, SystemVerilog - **Published:** August 4, 2026 - **Apply:** https://www.hellowork.com/fr-fr/emplois/81995314.html ## About the Role Profil recherchéEnvironnement techniqueVérification & DéveloppementSystemVerilog, UVMAMBA (AXI, AHB, APB)Débogage RTL et analyse de chronogrammes (Waveform Analysis)Environnement de simulation CadencePython, CArchitecture SoCAssertion-Based Verification (SVA)Coverage-Driven VerificationSécurité matérielleVé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 SoC complexes.Compétences complémentairesConnaissance des concepts ARM TrustZone.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)., * Connaissance des concepts ARM TrustZone. * 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)., Intelligence artificielle Python Isolation ## Description Dans le cadre du développement d'un System-on-Chip (SoC) multicoeur 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., Définir et exécuter les stratégies de vérification de la sécurité au niveau des sous-systèmes et du SoC. - É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 SystemVerilog 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., Vérification & Développement * SystemVerilog, UVM * AMBA (AXI, AHB, APB) * Débogage RTL et analyse de chronogrammes (Waveform Analysis) * Environnement de simulation Cadence * Python, C * Architecture SoC * 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 SoC complexes. ## Related Videos - [Code to Road in < 12 hours](https://www.wearedevelopers.com/videos/1082-code-to-road-in-12-hours) - [You don't need to write the code. You need to become a verification architect and prove it's correct](https://www.wearedevelopers.com/videos/100023-you-don-t-need-to-write-the-code-you-need-to-become-a-verification-architect-and-prove-it-s-correct) - [Playing Pong on a shoulder press machine](https://www.wearedevelopers.com/videos/100140-playing-pong-on-a-shoulder-press-machine) - [Agent Smith Gets Hardware: Autonomous IoT Hacking From Debug Port to Cloud API](https://www.wearedevelopers.com/videos/100258-agent-smith-gets-hardware-autonomous-iot-hacking-from-debug-port-to-cloud-api) - [Building a hypercar from scratch](https://www.wearedevelopers.com/videos/607-building-a-hypercar-from-scratch) - [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers) ## Related Articles - [Dev Digest 134 - Where pixels sing?](https://www.wearedevelopers.com/magazine/477-dev-digest-134-where-pixels-sing) - [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers) - [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [Dev Digest 138 - Are you secure about this?](https://www.wearedevelopers.com/magazine/486-dev-digest-138-are-you-secure-about-this) - [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)