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.
Pay / Benefits
hybrid working options
accommodations on request during recruitment
equal opportunity employer
Responsibilities
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
Key requirements
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
We use essential cookies to make this site work. With your permission we would also like to use the optional cookies below. Nothing optional is set until you choose, and you can change your mind at any time from "Cookie settings" at the bottom of every page. Cookie policy.
Essential — keep the site working and secure, and remember the choice you make here. Always on.