CPU Formal Verification Engineer
Intel Folsom, CA Full-time 3/31/2026
Undergraduate with 2+ Years of ExperienceMaster's with 2+ Years of Experience
Approval 96.6%•Total filings 2,117•New hires 632•
💎 Strong Sponsor
•FY 2025Job Description
As a Formal Verification Engineer at Intel, you will ensure the quality and reliability of cutting-edge CPU technologies. You will leverage formal verification methodologies to develop and validate high-performance CPUs, impacting Intel's ability to deliver world-class products.
Requirements
- B.S. in Computer Engineering or Electrical Engineering with 3+ years of experience, or M.S. with 2+ years, or PhD with emphasis on formal verification.
- Experience with applying sequential equivalence checking in complex micro-architectures.
- Experience in assertion writing, checker development, coverage analysis, failure debug, root cause analysis.
- In-depth computer architecture knowledge with emphasis on out of order processor execution, memory hierarchy, and memory management.
- Hands-on experience with industry standard formal verification tools such as JasperGold, Questa Formal, VC Formal.
- Experience with formal abstractions and other complexity reduction techniques.
- Experience with a hardware modeling language, such as Verilog, VHDL, or System Verilog.
- Programming experience in at least one language: C/C++, Perl, Python, Ruby, Java, TCL.
Responsibilities
- Conducts verification of IP and/or SoC microarchitecture using formal verification tools.
- Creates comprehensive formal verification test and coverage plans.
- Develops formal proofs to implement the verification plan and reviews completed proofs.
- Collaborates with architects, RTL developers, and physical design teams to improve verification.
- Maintains and improves existing functional verification infrastructure and methodology.
Benefits
- Intel offers a comprehensive benefits package including competitive pay, stock programs, healthcare coverage, retirement plans, paid time off, parental leave, and programs supporting employee wellbeing and professional development.
Is this job posting expired or no longer available?