Lead Formal Verification Architect: End-to-End SoC Strategy
Listed on 2026-10-07
-
Design & Architecture
Architect / Sr. Architect
SiFive is seeking a Distinguished Formal Verification Architect to define end-to-end verification strategies for complex SoC and IP subsystems. You will lead with deep expertise in complexity management and formal methods to ensure robust verification across large designs.
The role emphasizes identifying high-risk architectural corners, developing formal methodologies, and achieving proof convergence while mapping designs to formal verification needs. Remote potential varies by project.
We are seeking a motivated Lead Formal Verification Architect:
End-to-End SoC Strategy to join SiFive in Santa Clara, CA, United States.
The advertised compensation is 280..
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Lead Formal Verification Architect:
End-to-End SoC Strategy role in the description above.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).