Cpu Formal Verification Engineer

Intel

Hillsboro, Oregon, United States
Base: $105,650.00-149,150.00 usd; bonus/equity: st...
Hybrid
Proficiency in jasper formal verification tools
Experience with model checking algorithms
Knowledge of binary decision diagrams (bdd)
This role involves ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures through advanced formal verification methodologies

Job Summary

  • This role involves ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures through advanced formal verification methodologies.
  • Candidates will collaborate closely with architects, RTL developers, and physical design teams to verify intricate architectural features and drive innovation.
  • The position offers a competitive compensation package including stock bonuses, health benefits, retirement plans, and vacation time.

Matching Summary

This role involves ensuring the reliability and functionality of Intel's cutting-edge IP and SoC microarchitectures through advanced formal verification methodologies.

Salary

Base: $105,650.00-149,150.00 USD; Bonus/Equity: Stock bonuses included; Benefits: Health, retirement, and vacation programs

Skills & Requirements

Must-have

  • Proficiency in Jasper formal verification tools
  • Experience with model checking algorithms
  • Knowledge of binary decision diagrams (BDD)
  • Understanding of data flow graphs (DFG)
  • Ability to create abstraction models

Nice-to-have

  • Master's degree in Engineering or Computer Science
  • Experience collaborating with cross-functional teams
  • Strong documentation and presentation skills
  • Understanding of complex architectural protocols

Key Requirements

  • Bachelor's degree with 1+ years experience OR Master's degree with 1+ years in formal verification
  • Not eligible for Intel immigration sponsorship

Work Rights

Must have US work authorization; No sponsorship available

Tailored Resume

Cover Letter