Senior Formal Verification Engineer – Ai Soc Development

Intel Retiree Medical Plan Trust

Folsom, California, US
Base: $220,920.00-311,890.00 usd; bonus/equity: st...
Hybrid
7+ years asic/soc verification experience
3+ years formal verification expertise
Systemverilog assertions (sva) proficiency
This role involves owning the formal verification strategy and execution for complex SoC IP blocks and subsystems within Intel's AI organization

Job Summary

  • This role involves owning the formal verification strategy and execution for complex SoC IP blocks and subsystems within Intel's AI organization.
  • Candidates will develop scalable verification plans, execute emulation models, and drive formal sign-off including convergence analysis.
  • The position offers a competitive total compensation package including stock bonuses and comprehensive benefit programs with a hybrid work model.

Matching Summary

This role involves owning the formal verification strategy and execution for complex SoC IP blocks and subsystems within Intel's AI organization.

Salary

Base: $220,920.00-311,890.00 USD; Bonus/Equity: Stock bonuses included; Benefits: Health, retirement, vacation

Skills & Requirements

Must-have

  • 7+ years ASIC/SoC verification experience
  • 3+ years formal verification expertise
  • SystemVerilog Assertions (SVA) proficiency
  • Formal tool usage (JasperGold, VC Formal)
  • Digital design concepts and clock domain crossings

Nice-to-have

  • UVM-based simulation environment familiarity
  • Python, TCL, Perl scripting skills
  • Mentoring junior engineers capability
  • Cross-functional collaboration mindset
  • Post-silicon debug support experience

Key Requirements

  • Bachelor's degree in EE, CE, or CS
  • 10+ years related industry experience
  • Position of Trust background investigation required

Work Rights

Not specified

Tailored Resume

Cover Letter