Senior Formal Verification Engineer (CPU group)
Core
Deploying formal verification techniques on next-generation CPU designs to enable rapid, innovative development.
Role type
Senior IC formal verification engineer (CPU)
Builds
Next-generation CPU designs
Domain
Semiconductor / Computer Architecture
Deliverable
production ML models
Required skills
Formal verification techniques, Computer architecture, Microarchitectural design, Model-checking techniques, Assume-guarantee reasoning, Invariants, Abstractions, Scripting (Python, Perl, Tcl, Shell), Arm architecture, AMBA protocols
Preferred skills
Industry-standard formal verification tools
Responsibilities
Explore, develop, and deploy sophisticated formal verification techniques; Shape and implement high-quality formal verification strategies; Contribute to technical direction and hands-on execution
Seniority
Senior, hands-on IC
Sourced via arm · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.