Intel
Senior Formal Verification Engineer – AI SoC Development
$221K–$312K
US, California, Folsom +3 · Senior · Full-time · Posted Feb 20, 2026
- Location
- US, California, Folsom
US, Oregon, Hillsboro
US, California, Santa Clara
US, Texas, Austin - Experience
- 10+ years of related experience; 7+ years in ASIC/SoC verification, with at least 3+ years focused on formal verification.
- Education
- Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science.
About the job
Leads formal verification of complex AI SoC designs, developing verification environments and properties, driving sign-off, and supporting pre- and post-silicon validation.
What you'll do
- Own verification strategy and execution for SoC IP blocks and subsystems, including formal sign-off and coverage closure.
- Develop and maintain formal verification environments, properties, constraints, and coverage goals; collaborate with design and simulation teams to find corner cases.
- Support pre-silicon verification, chip bring-up, and post-silicon debug; mentor engineers and establish verification best practices.
What they ask for
- Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science.
- 10+ years of related experience.
- 7+ years of ASIC/SoC verification experience, including at least 3+ years focused on formal verification.
Nice to have
- Expertise with formal verification tools such as JasperGold, VC Formal, or Questa Formal, and knowledge of SVA and property-based verification.
- Knowledge of digital design, clock domain crossings, and low-power techniques; familiarity with UVM and scripting in Python, TCL, or Perl.
Pay
$220,920.00-311,890.00 USD (annual salary range; posting describes target compensation, not explicitly base salary or total pay)
Tools
SystemVerilog Assertions (SVA), JasperGold, VC Formal, Questa Formal, UVM, Python, TCL, Perl
AI focus
Verifies complex SoC designs for AI applications across edge and cloud.
Model-written summary · the original posting is authoritative