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
Formal verification strategy and execution
Systemverilog assertions (sva)
Formal verification environments
Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud

Job Summary

  • Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud.
  • As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods.
  • We offer a total compensation package that ranks among the best in the industry.

Matching Summary

Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud.

Salary

Base: $220,920.00-311,890.00 USD; Bonus/Equity: stock bonuses; Benefits: health, retirement, and vacation

Skills & Requirements

Must-have

  • Formal verification strategy and execution
  • SystemVerilog Assertions (SVA)
  • Formal verification environments
  • Formal sign-off and coverage closure
  • Pre-silicon verification and debug

Nice-to-have

  • Scalable and reusable verification plans
  • UVM-based simulation environments
  • Security verification activities
  • Collaborative mindset and attention to detail

Key Requirements

  • 10+ years of related experience
  • 7+ years ASIC/SoC verification experience
  • 3+ years formal verification experience
  • Bachelor's degree in EE, CE, or CS

Work Rights

Not specified

Tailored Resume

Cover Letter