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
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
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
