CPU Formal Verification Engineer
About this role
Job title: CPU Formal Verification Engineer
About the Role Intel's CPU team is seeking a Formal Verification Engineer to ensure the quality and reliability of next-generation CPUs using formal verification methodologies. You will develop verification strategies, create abstraction models, and collaborate across architects, RTL, and physical design to validate high-performance silicon powering laptops and AI systems.
What You'll Do
- 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.
Read the full description on TalentApply
Create a free account to see the complete job description, how well your CV matches this role, and apply in one click.
AI rewrites and formats your CV so it reads well and gets past screeners.
Get your match percentage for this exact role before you spend time applying.
Send a polished application in one click — no retyping the same details.
Follow every application in one place instead of digging through your inbox.
Free account · No card required
Your next opportunity starts here
Prepare, apply, track, interview and get hired — all from one platform, with AI in your corner.