Senior System / Infrastructure Engineer – On-Prem Linux & CI (CPU Development)

In this role you apply modern formal verification techniques to next-generation CPU designs, collaborating with leading experts to shape verification strategies and deliver high-quality results. You will influence both design and verification decisions, helping Arm-scale projects achieve robust, scalable verification. You tackle challenging modeling and proof tasks that impact billions of devices, contributing to a culture of innovation. This role offers hands-on execution and strategic direction within a passionate, mission-driven team.

• hybrid working options

• Explore, develop, and deploy formal verification techniques on next-generation projects
• Collaborate with Arm's formal experts to shape and implement verification strategies
• Contribute to technical direction and hands-on verification execution

• 5+ years of experience verifying designs using formal verification techniques
• Strong engineering mindset with passion for digital design and robust attention to detail
• Solid understanding of verification concepts, computer architecture, and microarchitectural design
• Ability to translate abstract formal concepts into practical verification solutions

• strong problem-solving abilities
• attention to detail
• collaboration and teamwork
• Experience with industry-standard formal verification tools
• Scripting in Python, Perl, Tcl, or Shell
• Familiarity with Arm architecture and AMBA protocols