CPU Formal Verification Engineer

Intel Corporation • Austin, TX

1d • Hybrid

About The Position

Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and has a brighter future. Every day, we create world changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow. Role Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the E-Core CPU team, you will leverage formal verification methodologies to develop, implement, and validate the next generation of high-performance CPUs that power a variety of innovative devices, from laptops to AI and machine learning systems. In this role, you will directly impact Intel's ability to deliver world-class products that enrich the lives of people across the globe. Join us and help engineer the future at Intel.

Requirements

• Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience listed below, or a Master's degree with 6+ years of relevant experience listed below, or a PhD with 4+ years of experience listed below.
• Experience in 3 or more the following areas:
• 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.

Nice To Haves

• Familiarity with x86 architecture, ISA, and system architecture.
• Experience with post-silicon validation and debugging.
• Demonstrated technical innovation through research publications, patents, or advanced validation methods.
• Strong communication and collaboration skills, with a track record of teamwork in cross-functional environments.

Responsibilities

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

Benefits

• We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock bonuses, and benefit programs which include health, retirement, and vacation.
• Find out more about the benefits of working at Intel.

What This Job Offers

• Job Type: Full-time
• Career Level: Mid Level