Senior Formal Verification Engineer – Ai Soc Development

Intel

Folsom, California, USA
$220,920.00-311,890.00 usd; not specified; not spe...
Hybrid
Formal verification strategy and execution
Systemverilog assertions (sva)
Formal verification environments
Intel is seeking a Senior Formal Verification Engineer to lead the functional correctness verification of complex digital designs for AI applications. The role involves developing formal verification strategies, collaborating with various teams, and mentoring junior engineers

Job Summary

  • Own formal verification strategy and execution for complex SoC IP blocks and subsystems.
  • Collaborate with design and simulation teams to identify corner cases and complement dynamic verification.
  • We offer a total compensation package that ranks among the best in the industry.

Matching Summary

Match Score: 85

Intel is seeking a Senior Formal Verification Engineer to lead the functional correctness verification of complex digital designs for AI applications. The role involves developing formal verification strategies, collaborating with various teams, and mentoring junior engineers.

Salary

$220,920.00-311,890.00 USD; Not specified; Not specified

Skills & Requirements

Must-have

  • Formal verification strategy and execution
  • SystemVerilog Assertions (SVA)
  • Formal verification environments
  • Formal sign-off and convergence
  • Pre-silicon verification support

Nice-to-have

  • UVM-based simulation environments
  • Scripting skills (Python, TCL, Perl)
  • 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