Cpu Formal Verification Engineer

Intel

Hillsboro, Oregon, United States
Base: $122,440.00-232,190.00 usd; bonus/equity: st...
On-site presence required
Sequential equivalence checking experience
Jaspergold questa formal vc formal tools
Out of order processor architecture knowledge
Intel is seeking a CPU Formal Verification Engineer to join its team, focusing on ensuring the quality and reliability of its cutting-edge CPU technologies. The role requires expertise in formal verification methodologies and collaboration with various engineering teams to enhance product development

Job Summary

  • This role plays a pivotal part in ensuring the quality and reliability of Intel's cutting-edge CPU technologies through formal verification methodologies.
  • Candidates will develop comprehensive test plans, create abstraction models, and perform convergence on complex microarchitectural designs.
  • The position offers competitive pay, stock bonuses, and a comprehensive benefits package including health, retirement, and vacation.

Matching Summary

Match Score: 85

Intel is seeking a CPU Formal Verification Engineer to join its team, focusing on ensuring the quality and reliability of its cutting-edge CPU technologies. The role requires expertise in formal verification methodologies and collaboration with various engineering teams to enhance product development.

Salary

Base: $122,440.00-232,190.00 USD; Bonus/Equity: Stock bonuses included; Benefits: Health, retirement, and vacation programs

Skills & Requirements

Must-have

  • Sequential equivalence checking experience
  • JasperGold Questa Formal VC Formal tools
  • Out of order processor architecture knowledge
  • Formal abstraction and complexity reduction
  • Verilog VHDL System Verilog modeling

Nice-to-have

  • Intel Architecture ISA and x86 assembly
  • Post-silicon debug and analysis skills
  • Research publications or patent filings
  • C/C++ Perl Python Ruby Java TCL programming

Key Requirements

  • B.S. in Computer/Electrical Engineering with 3+ years experience
  • M.S. in Computer/Electrical Engineering with 2+ years experience
  • PhD in Computer/Electrical Engineering with formal verification focus
  • Experience with pre-silicon CPU core verification

Work Rights

Not specified

Tailored Resume

Cover Letter