Cpu Formal Verification Engineer

Intel Retiree Medical Plan Trust

Hillsboro, Oregon, US
Base: $122,440.00-232,190.00 usd; bonus/equity: st...
Formal verification methodologies
Equivalence checking algorithms
Assertion writing
As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies

Job Summary

  • As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies.
  • You will leverage formal verification methodologies to develop, implement, and validate the next generation of high-performance CPUs.
  • We offer a total compensation package that ranks among the best in the industry.

Matching Summary

As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies.

Salary

Base: $122,440.00-232,190.00 USD; Bonus/Equity: stock bonuses; Benefits: health, retirement, and vacation

Skills & Requirements

Must-have

  • Formal verification methodologies
  • Equivalence checking algorithms
  • Assertion writing
  • Hardware modeling language
  • Pre-silicon verification of CPU cores

Nice-to-have

  • Intel Architecture ISA knowledge
  • Post-silicon debug and analysis
  • Personal technical innovation

Key Requirements

  • B.S. in Computer Engineering or Electrical Engineering with 3+ years of experience
  • M.S. in Computer Engineering or Electrical Engineering with 2+ years of experience
  • PhD in Computer Engineering or Electrical Engineering with formal verification emphasis
  • Experience with sequential equivalence checking
  • Experience with formal abstractions
  • Programming experience in C/C++, Perl, Python, Ruby, Java, TCL

Work Rights

Not specified

Tailored Resume

Cover Letter