Cpu Formal Verification Engineer

Intel

Hillsboro, Oregon, US
Base: $122,440.00-232,190.00 usd; bonus/equity: st...
Formal verification tools
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.
  • Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms.
  • 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 tools
  • Equivalence checking algorithms
  • Assertion writing
  • Coverage analysis
  • Hardware modeling language
  • Pre-silicon verification of CPU cores

Nice-to-have

  • Intel Architecture ISA knowledge
  • x86 assembly language
  • Post-silicon debug
  • 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 emphasis on formal verification
  • 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