Formal Verification Lead
Intel Corporation
Posted: March 13, 2026
Interested in this position?
Create a free account to apply with AI-powered matching
Quick Summary
As a Formal Verification Lead, you will lead and drive the formal verification efforts for complex CPU designs.
Required Skills
Job Description
Job Details:
Job Description:
Position Overview: As a Formal Verification Lead, you will lead and drive the formal verification efforts for complex, industry-leading CPU designs ( i9, i7, i5, and Xeon processors.)
• Develop and master formal verification environments for control path and/or datapath designs.
• Collaborate closely with cross-geographical design and architecture teams to understand specifications and identify verification needs.
• Create and maintain formal models and properties for CPU components; analyze and debug verification failures, providing feedback and solutions to design teams.
• Guide and train team members in using formal tools and methodologies to successfully complete their verification assignments.
• Stay updated with the latest advancements in formal verification technologies and methodologies, integrating them into the team's workflow.
• Benchmark and develop new formal methodologies and tool flows to prove the correctness and reliability of complex digital circuits.
Soft skills
• Good verbal and written communication
• Fast learner, adhere to the timelines and detail oriented.
• Focus on executional excellence, innovative mindset to bring efficiency and out of the box ideas.
Qualifications:
• Master's degree in electrical engineering, Computer Science, or a related field, with 8+ years of experience in formal verification.
• Strong understanding of digital design principles and CPU architecture.
• Proficiency in formal verification methodologies and tools such as Jasper Gold, VC-Formal, or equivalent.
• Extensive experience with hardware description languages (Verilog, VHDL) and formal verification languages (SystemVerilog Assertions, PSL).
• Excellent problem-solving and debugging skills, with effective communication and teamwork abilities.
• Proficiency in scripting languages such as Tcl, Python, or Perl is a plus.
Job Type:
Experienced Hire
Shift:
Shift 1 (India)
Primary Location:
India, Bangalore
Additional Locations:
Business group:
Silicon and Platform Engineering Group (SPE): Deliver breakthrough silicon and platform solutions that deliver industry-leading products today while also defining the next generation of computing experiences.
Posting Statement:
All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.
Position of Trust
N/A
Work Model for this Role
This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.
*
ADDITIONAL INFORMATION: Intel is committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices. We do not charge any fees during our hiring process. Candidates should never be required to pay recruitment fees, medical examination fees, or any other charges as a condition of employment. If you are asked to pay any fees during our hiring process, please report this immediately to your recruiter.