As a Formal Verification Engineer at Intel, you will be instrumental in ensuring the quality and reliability of advanced CPU technologies. You will work within the CPU team, utilizing formal verification methodologies to validate high-performance CPUs that drive innovative devices. This role directly impacts Intel's ability to deliver world-class products that enhance lives globally. Join us to help shape the future of technology at Intel.

• A B.S. in Computer Engineering or Electrical Engineering with 3+ years of experience, or an M.S. with 2+ years, or a 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, and 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, or VC Formal.
• 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, or TCL.

• Conduct verification of IP and/or SoC microarchitecture using formal verification tools and methodologies.
• Create comprehensive formal verification test and coverage plans including definition of formal verification scope and strategy.
• Develop formal proofs to implement the verification plan and review completed proofs.
• Collaborate with architects, RTL developers, and physical design teams to improve verification of complex features.
• Maintain and improve existing functional verification infrastructure and methodology.
• Find and implement corrective measures to resolve failing tests.
• Apply understanding of modeling architecture to simplify and model the problem.

• 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.