Distinguished Formal Verification Architect
Core
Define end-to-end verification strategies for complex SoC and IP subsystems using formal methods to ensure correct-by-construction designs.
Role type
Distinguished Formal Verification Architect
Builds
High-performance RISC-V compute platforms for AI, automotive, data center, and consumer markets
Domain
Hardware design and formal verification
Required skills
formal verification, complexity management, abstraction techniques, model checking, hardware design idioms, logical thinking, strategic thinking
Preferred skills
functional programming (Scala, OCaml, Haskell), SAT/SMT solvers, theorem provers, formal/simulation co-verification
Technologies
VCFormal, Jasper Gold
Responsibilities
Identify high-risk architectural corners and develop formal methodology; reshape implementation to improve verification quality; close verification with formal methods or co-verification
Seniority
Distinguished, strategy & mentorship
