Distinguished Formal Verification Architect

As the pioneers who introduced RISC‑V to the world, SiFive is transforming the future of compute by bringing the limitless potential of RISC‑V to the highest performance and most data‑intensive applications. SiFive’s unrivaled compute platforms enable leading technology companies worldwide to innovate, optimize, and deliver the most advanced solutions across AI/ML, automotive, data center, mobile, and consumer markets.

About the role

The Role: Distinguished Formal Verification Architect with expertise in defining end‑to‑end verification strategies for complex SoC and IP subsystems.

Responsibilities

• Deep expertise in complexity management, abstraction techniques and exhaustive verification.
• Expert in identifying high‑risk architectural corners and developing formal methodology.
• Adept at proof convergence and thinking in terms of correct‑by‑construction, working not just with individual designs but classes of design.
• As the Architect, it is important to go beyond application of formal techniques to understand the design and find ways to improve the quality of verification by reshaping the implementation.

Requirements

• Multiple years of experience with formal verification of cutting‑edge HW designs.
• Experience with model checkers such as VCFormal, Jasper Gold.
• Proficient in working with large designs and standard practices for abstractions, etc. for dealing with large systems.
• Excellent understanding of HW design and idioms, e.g. CPU microarchitecture, communications fabrics, protocols, etc., and how to map them to formal verification needs.
• Strong logical thinking.
• Strategic thinking and ownership to close verification with formal methods or formal/simulation co‑verification.

Qualifications

• Functional programming in languages such as Scala, OCaml, Haskell.
• Experience / understanding of SAT, SMT, Model Checkers will be a plus.
• Familiarity with theorem provers.

Pay

Base Pay Range $279,504.00‑$341,616.00 (market‑based, varies by location; compensation reflects cost of labor in the U.S. geographic market based on the role’s location; starting salary varies based on job‑related knowledge, skills, experience, skill level, competencies, and work location).

Benefits

In addition to base pay, this role may be eligible for variable/incentive compensation and/or equity. Eligible for a comprehensive, competitive benefits package which may include healthcare and retirement plans, paid time off, and more.