CPU Formal Verification Engineer

Location: Town of Texas
#
** Welcome!**## .CPU Formal Verification Engineer page is loaded## CPU Formal Verification Engineer locations:
US, Oregon, Hillsboro:
US, California, Santa Clara:
US, Texas, Austin time type:
Full time posted on:
Posted Todayjob requisition :
JR0277286#
** Job Details:**##

Job Description:

Join Intel's
** Silicon Engineering Group (SiG)** – the powerhouse behind the world's most advanced processors. As part of our elite engineering organization, you'll be at the forefront of semiconductor innovation, transforming cutting-edge concepts into the silicon that drives everything from personal devices to massive data centers and emerging edge technologies.
** SiG is where Intel's boldest visions become reality.
** We're the critical bridge between breakthrough ideas and the processors that will define the next generation of computing.## Your Mission:
Architect the Future of Server Computing Step into a role where your expertise directly impacts
** Intel's next-generation server CPUs** – the engines powering cloud infrastructure, AI workloads, and enterprise computing worldwide. Working with
** industry-leading process technologies**, you'll help deliver the performance breakthroughs that keep Intel at the forefront of the server market.
** You will be responsible for, but not limited to:*
* * Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms.
* Creates comprehensive formal verification test and coverage plans including definition of formal verification scope, strategy, and techniques.
* Creates abstraction models for convergence on the design, carves out the right boundaries for the design, and tracks, verifies, and applies abstraction techniques.
* Develops formal proofs to implement the verification plan, reviews the completed proofs, and develops new formal verification methodologies.
* Performs convergence on design by creating formal verification methodology, abstraction, and simulation techniques.
* Finds and implements corrective measures to resolve failing tests.
* Collaborates with architects, RTL developers, and physical design teams to improve verification of complex architectural and microarchitectural features.
* Documents test plans and drives technical reviews of plans and proofs with design and architecture teams.
* Maintains and improves existing functional verification infrastructure and methodology.
* Understands the binary decision diagram (BDD) and data flow graph (DFG) for data paths and resolves the BDD complexity on arithmetic.
* Applies understanding of modeling architecture to simplify and model the problem and uses tools to formally prove protocols and architectures.## The Mindset We're Seeking:
** Intellectual Curiosity** – You question assumptions, dig deeper, and identify verification gaps others might miss.
** Collaborative Excellence** – You thrive in cross-functional partnerships, working seamlessly with architects, designers, and fellow verification engineers.
** Technical Leadership** – You can distill complex formal verification concepts into clear, actionable insights for diverse technical audiences.
** Adaptive Innovation** – You pivot gracefully when designs evolve, turning challenges into opportunities for verification breakthroughs.
** Results-Driven Impact** – You're obsessed with delivering verification quality that gives Intel absolute confidence in our silicon.##
*
* Qualifications:

***
* Minimum Qualifications:

** You must possess a B.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ years of experience listed below;

OR a M.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 4+ years of experience listed below;

OR a PhD in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ months of experience listed below.

The experience must include the following areas:
* 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 Jasper Gold, Questa Formal,…