Senior/Staff - Formal Verification Engineer
SiFive
About this role
A Senior Formal Verification Engineer at SiFive responsible for ensuring correctness and robustness of digital hardware and processor designs using formal methods. The role contributes to SiFive's RISC-V compute platforms and works closely with design and verification teams to support product quality and reliability.
Skills
Qualifications
About SiFive
sifive.comAs 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 in the world.
Recent company news
TracxnSiFive - 2026 Funding Rounds & List of Investors
1 week ago
Data Center DynamicsRISC-V chipmaker SiFive to integrate Nvidia NVLink Fusion into its future chip designs
Jan 19, 2026
SiliconANGLESiFive introduces new processor core designs for AI devices
Sep 8, 2025
Business WireSiFive to Power Next-Gen RISC-V AI Data Centers with NVIDIA NVLink Fusion
Jan 15, 2026
The RegisterSiFive to fuse RISC-V with Nvidia's NVLink
Jan 15, 2026
About SiFive
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for SiFive.
Salary
$165k – $221k
per year