Formal Verification Engineer

In this role you will apply modern formal verification techniques to Arm's next-generation designs. You will work with leading experts to shape verification strategy and execute high-quality verification across projects. The position offers influence on design and verification decisions and exposure to cutting-edge architectures. You will contribute to scalable verification that supports billions of devices, within a collaborative, innovation-driven team.

• hybrid working options
• accommodations on request during recruitment
• equal opportunity employer

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

• Typically 5+ years of experience verifying sophisticated designs using formal verification techniques
• Strong engineering mindset with passion for digital design verification and keen interest in processors and digital systems
• Solid understanding of verification concepts, computer architecture, and microarchitectural design
• Ability to translate abstract formal concepts into practical verification solutions

• attention to detail
• strong analytical thinking and reasoning
• effective collaboration with cross-functional teams
• Experience with industry-standard formal verification tools
• Proficiency in scripting languages such as Python, Perl, Tcl, or Shell
• Familiarity with the Arm architecture and AMBA protocols