Senior Formal Verification Engineer – Ai Soc Development

Intel Corporation

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
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

Job Summary

  • 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.
  • This position offers the opportunity to work on cutting-edge technology and shape verification strategies for AI SoCs.
  • We offer a total compensation package that ranks among the best in the industry.

Matching Summary

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.

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 convergence analysis
  • Pre-silicon verification and debug support

Nice-to-have

  • Scalable and reusable verification plans
  • Security verification activities
  • Collaborative mindset
  • Mentoring junior engineers

Key Requirements

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

Work Rights

Not specified

Tailored Resume

Cover Letter