Senior Formal Verification Engineer

Senior Formal Verification Engineer

100% remote (work from any US location)

US Citizen or US Permanent Resident

6-12 months contract with possible extensions

Required Skills & Experience:

1. Knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques
2. Experience with formal property proofs on industrial strength designs and architectures
3. Deep understanding of SoC design and verification
4. Good understanding of formal verification technologies/abstraction techniques
5. Temporal logic assertion-based languages such as SVA or PSL
6. Experience in using EDA formal tools
7. Proficiency in scripting languages and excellent debugging skills
8. Experience with Cadence Formal Verification tools such as JasperGold
9. System Verilog and UVM methodology expertise
10. Must have 5+ years of experience and BSEE, MSEE preferred