Distinguished Formal Verification Architect (RISC-V)

Location: Santa Clara, California, United States. The role requires proof of the right to work in the United States and authorization to access export-controlled technology, or the ability to obtain the necessary export license.

Base pay range: $279,504–$341,616 per year, with potential variable or incentive compensation and equity.

Company

RISC-V compute platform company developing high-performance processor solutions for artificial intelligence, machine learning, automotive, data center, mobile, and consumer applications.

What you will do

• Define end-to-end verification strategies for complex SoC and IP subsystems.
• Manage verification complexity through abstraction techniques and exhaustive formal verification.
• Identify high-risk architectural corner cases and develop formal methodologies.
• Drive proof convergence and correct-by-construction verification across classes of designs.
• Improve verification quality by analyzing and reshaping hardware implementations.
• Close verification using formal methods or formal and simulation co-verification.

Requirements

• Multiple years of formal verification experience with cutting-edge hardware designs.
• Experience with model checkers such as VCFormal and JasperGold.
• Proficiency with large designs and abstraction practices for large systems.
• Strong understanding of hardware design, CPU microarchitecture, communication fabrics, and protocols.
• Strong logical and strategic thinking, with ownership of verification closure.
• Right to work in the United States and authorization to access export-controlled technology, or eligibility for the required export license.

Nice to have

• Functional programming experience with Scala, OCaml, or Haskell.
• Experience or understanding of SAT, SMT, and model checkers.
• Familiarity with theorem provers.

Culture & Benefits

• Comprehensive benefits package that may include healthcare, retirement plans, and paid time off.
• Potential eligibility for variable or incentive compensation and equity.
• Inclusive workplace committed to diversity and equal employment opportunity.
• Employment is subject to successful background and reference checks.