Descriptif du poste:\n\nVous 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.\nNotre 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.\nVos missions\nEn tant que Graduate Theorem Proving Engineer, vous contribuerez à la vérification formelle de nouvelles conceptions de processeurs Arm. Vous serez notamment amené(e) à :\n* \nAnalyser de nouvelles conceptions RTL et les algorithmes associés.\n* \nDévelopper des modèles abstraits en C.\n* \nÉtablir l'équivalence entre RTL et C à l'aide d'un outil de vérification d'équivalence séquentielle (SLEC).\n* \nVérifier formellement les modèles par rapport aux spécifications architecturales à l'aide du démonstrateur de théorèmes ACL2.\n* \nCollaborer avec les équipes de conception et de vérification et contribuer à l'amélioration de nos outils et méthodologies.\nProfil recherché\nVous ê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.\nVous disposez également :\n* \nDe solides capacités de raisonnement mathématique.\n* \nD'une bonne connaissance de l'arithmétique en virgule flottante et des algorithmes utilisés pour les opérations arithmétiques élémentaires.\n* \nD'une expérience de la programmation en C.\n* \nDe connaissances de base en Verilog.\n* \nD'une capacité à travailler efficacement au sein d'équipes internationales.\nUne expérience en preuves mathématiques complexes, démonstration interactive de théorèmes/ACL2, outils SLEC ou microarchitecture CPU/GPU constituera un atout.\nRémunération et avantages\nSalaire 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.\nUne 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.\nLes candidatures sont examinées au fur et à mesure de leur réception. Nous vous encourageons donc à postuler rapidement.\n\nProfil recherché:\n\nProfil recherché\nNous recherchons des candidat(e)s qui :\nSont 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.\nLes qualités qui feront la différence\n* \nConnaissances 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.\n* \nFamiliarité avec les concepts et outils CI/CD, tels que GitLab Pipelines, CloudBees ou Jenkins.\n* \nExcellentes capacités de résolution de problèmes, adaptabilité et motivation à découvrir de nouveaux outils, méthodologies et technologies émergentes.