Senior/Staff - Formal Verification Engineer
SiFive(3 months ago)
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.
Required Skills
- Formal Verification
- Formal Abstraction
- Chisel
- RTL Debugging
- Assertion Libraries
- Scripting
- VHDL
- SystemVerilog
- OOP
- Processor Design
Qualifications
- Bachelor's Degree in Electrical Engineering
- Master's Degree in Electrical Engineering
- Bachelor's Degree in Computer Engineering
- Master's Degree in Computer Engineering
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.
View more jobs at SiFive →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at SiFive
Similar Jobs
Arithmetic Formal Verification Engineer
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(1 month ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)
Senior Formal Verification Engineer
NVIDIA(18 days ago)
Formal Verification Engineer - New College Grad 2026
NVIDIA(1 month ago)
Formal Verification Engineer - New College Grad 2026
NVIDIA(13 days ago)