Graduate Theorem Proving Engineer F/H (CDI)

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.

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.

Salaire de départ : 47 000 € brut annuel (Master) ou 51 000 € brut annuel (Doctorat), accompagné d’un ensemble complet d’avantages sociaux et d’opportunités de développement au sein d’Arm.

Une aide à la mobilité est disponible pour les déménagements en France et certaines mobilités en Europe. Un accompagnement pour les démarches de visa et d’immigration est également disponible.

Arm, multinationale à taille humaine en constante croissance, leader mondial des processeurs pour solutions mobiles et embarquées, investit fortement dans ses sites français. Situé sur la Côte d Azur, au cœur du plus grand parc technologique d Europe, le centre de conception de Sophia Antipolis (06) est à l origine de nombreux produits à succès, et à la pointe du développement de processeurs alliant basse consommation et haute performance. Dans ce contexte, nous sommes à la recherche de nouveaux talents pour travailler sur les processeurs de prochaine génération.Nous recherchons des ingénieurs avec de très fortes compétences techniques pour intégrer notre équipe Design Enablement à Sophia-Antipolis.

Tous les candidats potentiels sont encouragés à parcourir et à lire la description complète du poste avant de postuler.

Vous souhaitez mettre vos compétences en mathématiques, informatique et vérification formelle au service des technologies Arm ? Rejoignez nos équipes pour faire progresser nos méthodes de vérification, améliorer nos outils et explorer de nouvelles applications de la démonstration de théorèmes.

Notre centre de conception de Sophia Antipolis, situé au cœur de l’une des plus importantes technopoles d’Europe, contribue au développement de technologies de pointe pour les processeurs Arm.