Senior Formal Verification Engineer (CPU group)
ArmJob Title
Senior Formal Verification Engineer (CPU group)
Role Summary
Join Arm's CPU Group to apply and advance formal verification techniques on next-generation CPU designs. You will work with verification and design engineers to define formal strategies, implement formal models and properties, and influence design-for-verification decisions.
Experience Level
Senior - typically 5+ years of experience verifying complex designs using formal verification techniques.
Responsibilities
Deliver formal verification solutions across CPU projects and collaborate with experts and design teams to raise verification quality.
- Develop and deploy formal verification methods and flows for CPU and microarchitectural features.
- Write formal models, properties, and assumptions; run model checking and proof tools; diagnose failures.
- Define and implement formal verification strategies and best practices for projects.
- Collaborate with architects, RTL designers, and verification engineers to influence design and verification trade-offs.
- Contribute to technical direction, tool evaluation, and automation of formal flows.
Requirements
Must-have technical skills and experience.
- Typically 5+ years verifying complex designs using formal verification techniques.
- Strong engineering mindset with attention to detail and clear logical reasoning skills.
- Solid understanding of verification concepts, computer architecture, and microarchitectural design.
- Ability to translate abstract formal concepts into practical verification solutions.
Nice-to-have:
- Experience with industry-standard formal verification tools.
- Proficiency in scripting (Python, Perl, Tcl, Shell) to support automation.
- Familiarity with the Arm architecture and AMBA protocols.
- Knowledge of advanced model-checking, assume-guarantee reasoning, invariants, and abstractions.
Education Requirements
Not specified.
About the Company
Company: Arm
Headquarters: Cambridge, United Kingdom
ARM is a global leader in semiconductor and software design, driving innovation in computing technology. The company specializes in designing processors and systems that provide the essential building blocks for electronic devices. ARM's architecture is widely used in smartphones, servers, and IoT devices, and its collaborative culture fosters bold thinking, diversity, and high-impact benefits for its talented workforce.
