Description
Arm’s Solutions Group is seeking an experienced Formal Verification Engineer to explore, develop, and deploy formal verification techniques on next-generation Arm designs. The role involves shaping and implementing formal verification strategies, contributing to technical direction, and working with formal experts on design and verification decisions. Candidates should have at least five years of experience verifying sophisticated designs, strong digital design verification skills, and knowledge of computer architecture and microarchitectural design.
