Be an Early Applicant
Creating world-changing technology that enriches the lives of every person on earth.
The Role
As a Formal Verification Lead, you'll drive verification efforts for CPU designs, develop verification environments, collaborate cross-functionally, and guide team members in methodologies.
Summary Generated by Built In
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 HireShift:Shift 1 (India)Primary Location: India, BangaloreAdditional 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 TrustN/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.Skills Required
- Master's degree in electrical engineering, Computer Science, or related field
- 8+ years of experience in formal verification
- Strong understanding of digital design principles and CPU architecture
- Proficiency in formal verification methodologies and tools
- Extensive experience with hardware description languages (Verilog, VHDL)
- Proficiency in scripting languages such as Tcl, Python, or Perl is a plus
Intel Compensation & Benefits Highlights
The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Intel and has not been reviewed or approved by Intel.
-
Parental & Family Support — Family-building and caregiving supports are extensive, including fertility coverage, adoption assistance, paid parental leave, childcare and elder care resources, and a structured reintegration for new parents. These benefits are positioned as best-in-class elements of the package.
-
Leave & Time Off Breadth — Time off includes generous PTO, a paid sabbatical after extended tenure, and multiple leave types such as family, medical, bereavement, and military. This breadth enables employees to disconnect, recharge, and manage life events.
-
Retirement Support — Long-term savings are bolstered by a competitive 401(k) match and access to deferred compensation for eligible levels, alongside stock purchase opportunities. These programs are highlighted as strong tools for financial security.
Intel Insights
Am I A Good Fit?
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.
Success! Refresh the page to see how your skills align with this role.
The Company
What We Do
Our mission is to shape the future of technology to help create a better future for the entire world, that’s the power of Intel Inside. With more ingenuity and creativity inside, our work is at the heart of countless innovations. From major breakthroughs to things that make everyday life better— they’re all powered by Intel technology. With a career at Intel, you can help make the future more wonderful for everyone.
.jpg)
