Formal Verification Engineer, CPU Core - Equity
Listed on 2026-10-14
-
Engineering
Test Engineer
Location: Town of Texas
SiFive, Inc. seeks a Staff Design Verification Engineer to drive formal verification for high‑performance CPU cores. You will own the verification strategy, build scalable environments, and collaborate with architecture and RTL teams to ensure rigorous proof closure.
The role emphasizes property-driven verification, debugging complex microarchitectural behavior, and mentoring peers in formal methods within a fast-paced CPU development environment.
The Staff Formal Verification Engineer, CPU Core
- Equity position in the Engineering field is open for applications.
The Staff Formal Verification Engineer, CPU Core
- Equity role at SiFive, Inc. is now open for applications in Town of Texas, WI, United States.
Join us at SiFive, Inc. as our next Staff Formal Verification Engineer, CPU Core
- Equity in Town of Texas, WI, United States.
We are currently recruiting a Staff Formal Verification Engineer, CPU Core
- Equity for our team in Town of Texas, WI, United States.
(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).