Formal Verification Engineer
Apply formal verification techniques to next-generation Arm digital hardware designs in Cambridge.
The role
The work
Develop and apply formal verification methods for next-generation Arm designs, working with architecture and digital design colleagues to shape and implement verification strategies.
Experience
Arm seeks approximately five years or more of experience verifying complex digital designs using formal methods. Relevant skills include computer architecture, microarchitectures, verification concepts, model checking and scripting. Arm and AMBA knowledge is useful.
Salary and location
£55,300–£74,800 a year in Cambridge. Arm describes team-dependent hybrid arrangements. The advert is dated 16 September 2026 and gives no closing date.
This vacancy was checked against the original application page on