As a Formal Verification Engineer at Intel, you will be integral to 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 influences Intel's ability to deliver world-class products that enhance lives globally. Join us to help shape the future of technology at Intel.

• Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience, or a Master's degree with 6+ years of experience, or a PhD with 4+ years of experience.
• Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal.
• Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems.
• Hands-on experience with hardware modeling languages, including System Verilog or Verilog.
• Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL.
• Experience in assertion writing, coverage analysis, and failure debugging.

• Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs.
• Develop comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications.
• Create abstraction models to simplify design complexity and ensure convergence on validation.
• Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency.
• Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions.
• Develop and document formal verification test plans and conduct technical reviews with design and architecture teams.
• Maintain and innovate formal verification infrastructure and methodologies to streamline development.
• Mentor junior engineers and contribute to the growth of technical expertise within the team.
• Support post-silicon failure debug and resolution efforts when required.

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