> Markdown version of [/jobs/ext/3572646-graduate-theorem-proving-engineer-f-h-cdi](https://www.wearedevelopers.com/jobs/ext/3572646-graduate-theorem-proving-engineer-f-h-cdi). 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). --- # Graduate Theorem Proving Engineer F/H (CDI) - **Company:** ARM - **Location:** Biot, France - **Experience:** Starter - **Salary:** €47,000.0 - **Contract:** Permanent contract - **Skills:** Computer Engineering, Continuous Integration, DevOps, Formal Verification, Verilog, Cloudbees, Gitlab, Information Technology, Jenkins - **Published:** October 4, 2026 - **Apply:** https://www.studentjob.fr/offre/8844802-graduate-theorem-proving-engineer-f-h-cdi/reaction/nouveaute ## About the Role Vous êtes titulaire, ou serez titulaire à la date de prise de poste, d'un Master (Bac+5) ou Doctorat en informatique ou mathématiques. D'autres formations pourront être considérées avec une expérience pertinente. Vous disposez également : * De solides capacités de raisonnement mathématique. * D'une bonne connaissance de l'arithmétique en virgule flottante et des algorithmes utilisés pour les opérations arithmétiques élémentaires. * D'une expérience de la programmation en C. * De connaissances de base en Verilog. * D'une capacité à travailler efficacement au sein d'équipes internationales. Une expérience en preuves mathématiques complexes, démonstration interactive de théorèmes/ACL2, outils SLEC ou microarchitecture CPU/GPU constituera un atout., Sont titulaires (ou en voie de l'être à la date de début du programme) d'un diplôme universitaire, ou disposent d'une expérience équivalente, en génie informatique, génie électronique, informatique, ou dans un domaine technique connexe comprenant une exposition au DevOps. Les qualités qui feront la différence * Connaissances fondamentales en DevOps, ingénierie des plateformes ou infrastructure, acquises dans le cadre de votre cursus, de stages, de projets ou d'une expérience professionnelle. * Familiarité avec les concepts et outils CI/CD, tels que GitLab Pipelines, CloudBees ou Jenkins. xtajcwe * Excellentes capacités de résolution de problèmes, adaptabilité et motivation à découvrir de nouveaux outils, méthodologies et technologies émergentes. ## Description En tant que Graduate Theorem Proving Engineer, vous contribuerez à la vérification formelle de nouvelles conceptions de processeurs Arm. Vous serez notamment amené(e) à : * Analyser de nouvelles conceptions RTL et les algorithmes associés. * Développer des modèles abstraits en C. * Établir l'équivalence entre RTL et C à l'aide d'un outil de vérification d'équivalence séquentielle (SLEC). * Vérifier formellement les modèles par rapport aux spécifications architecturales à l'aide du démonstrateur de théorèmes ACL2. * Collaborer avec les équipes de conception et de vérification et contribuer à l'amélioration de nos outils et méthodologies. ## About Arm Arm is the industry’s highest-performing and most power-efficient compute platform with unmatched scale that touches 100 percent of the connected global population. To meet the insatiable demand for compute, Arm is delivering advanced solutions that allow the world’s leading technology companies to unleash the unprecedented experiences and capabilities of AI. Together with the world’s largest computing ecosystem and 22 million software developers, we are building the future of AI on Arm. [Company profile](https://www.wearedevelopers.com/companies/3413-arm) ### More Jobs at Arm - [Staff Software Engineer, Performance Tooling](https://www.wearedevelopers.com/jobs/ext/3583824-staff-software-engineer-performance-tooling) - [Staff Implementation Engineer](https://www.wearedevelopers.com/jobs/ext/3583349-staff-implementation-engineer) - [Senior Manager, IP Management](https://www.wearedevelopers.com/jobs/ext/3542874-senior-manager-ip-management) - [Agile Data Project Manager](https://www.wearedevelopers.com/jobs/ext/3556214-agile-data-project-manager) - [Graduate Applications Engineer](https://www.wearedevelopers.com/jobs/ext/3542876-graduate-applications-engineer) ## Related Videos - [Shifting Stress to Progress— Understanding DevOps to do DevOps Better](https://www.wearedevelopers.com/videos/268-shifting-stress-to-progress-understanding-devops-to-do-devops-better) - [GitLab CI pipelines for a whole company](https://www.wearedevelopers.com/videos/143-gitlab-ci-pipelines-for-a-whole-company) - [My journey into DevOps world - How it all started!](https://www.wearedevelopers.com/videos/545-my-journey-into-devops-world-how-it-all-started) - [Enabling automated 1-click customer deployments with built-in quality and security](https://www.wearedevelopers.com/videos/83-enabling-automated-1-click-customer-deployments-with-built-in-quality-and-security) - [From DevOps to Scaled DevOps: How We’re Rebuilding Continuous Delivery as a Platform](https://www.wearedevelopers.com/videos/100018-from-devops-to-scaled-devops-how-we-re-rebuilding-continuous-delivery-as-a-platform) - [Unlocking the potential of Digital & IT at Vodafone](https://www.wearedevelopers.com/videos/602-unlocking-the-potential-of-digital-it-at-vodafone) ## Related Articles - [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs) - [System change: restart as developer?](https://www.wearedevelopers.com/magazine/39-system-change-restart-as-developer) - [Top-Paying Tech Jobs (with Salaries)](https://www.wearedevelopers.com/magazine/372-top-paying-tech-jobs-with-salaries) - [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know) - [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers) - [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)