Staff Design Verification Engineer – CPU Core Formal Verification at SiFive

SiFive is hiring a Staff Design Verification Engineer to lead formal verification of high-performance out-of-order CPU core functionality. The role owns verification planning and execution, develops formal strategies and proof infrastructure, analyzes proof failures, collaborates with architecture and RTL teams, and mentors engineers. It requires a bachelor’s or master’s degree in a relevant field, at least seven years of ASIC, CPU/core, or SoC design verification experience, and strong formal verification expertise. The position may include variable or incentive compensation and equity, along with healthcare and retirement benefits.