Be an Early Applicant
Creating world-changing technology that enriches the lives of every person on earth.
The Role
Own end-to-end formal verification for Intel’s silicon interconnect fabric, protocol bridges, and link-layer logic. Develop verification and coverage plans, create abstraction models, generate proofs, resolve convergence issues, and maintain formal verification infrastructure. Collaborate with architecture, RTL design, physical design, and software teams while documenting progress and leading technical reviews. The role requires strong formal methods, protocol knowledge, coding ability, and experience with model checking, equivalence checking, BDDs, and DFGs.
Summary Generated by Built In
Job Details:Job Description: The Role and Impact
Intel is seeking a Formal Verification Engineer for the Silicon Chassis team. This role focuses on applying formal methods to exhaustively verify our interconnect fabric, protocol bridges, and link-layer logic. You will own end-to-end formal verification, from property specification through proof convergence - across multiple protocol domains. You will work closely with architecture, design, and software teams and are expected to contribute across traditional discipline boundaries. This role requires strong Formal depth, solid protocol knowledge, hands-on coding strength, and growing ability to mentor junior engineers. AI-assisted workflows are part of everyday development here. Consistent execution against schedule and quality goals is expected.
Key Responsibilities
- Develop and execute comprehensive formal verification test and coverage plans, including the definition of scope, strategy, and techniques.
- Create abstraction models to enable convergence on designs and apply abstraction techniques to formal verification.
- Generate and validate formal proofs to implement verification plans and resolve failing tests through corrective measures.
- Collaborate across architecture, RTL design, and physical design teams to improve the verification of complex architectural and microarchitectural features.
- Maintain and enhance existing formal verification infrastructure, tools, and methodologies.
- Simplify and model problems using architecture modeling techniques to verify protocols and architectures.
- Utilize tools to formally prove design protocols, resolve BDD complexity, and optimize data paths.
- Document test plans, track verification progress, and drive technical reviews with cross-functional teams.Qualifications:Minimum Qualifications
- BS/MS in Electrical Engineering, Computer Science, or related field, with 5+ years of relevant experience in formal verification.
- Proficiency in formal verification tools and methodologies, including model checking and equivalence checking.
- Strong knowledge of System Verilog, Verilog, and logic/microarchitecture fundamentals.
- Experience with abstraction modeling, simulation techniques, and convergence strategies.
- Familiarity with Binary Decision Diagrams (BDD) and Data Flow Graphs (DFG).
Preferred Qualifications
- Proven ability to apply problem-solving skills to resolve complex architectural and verification challenges.
- Strong collaboration and teamwork skills, with experience working in cross-functional teams.
- Excellent technical documentation and communication abilities.
- Passion for driving innovation and advancing the state of verification tools and methodologies.
If you are excited about the opportunity to work on cutting-edge technology and contribute to shaping the future of computing, we encourage you to apply and join Intel's journey of innovation and excellence.
Job Type:Experienced HireShift:Shift 1 (India)Primary Location: India, BangaloreAdditional Locations: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 require an on-site presence. * 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
- BS or MS degree in Electrical Engineering, Computer Science, or a related field
- 5+ years of relevant formal verification experience
- Proficiency with formal verification tools and methodologies, including model checking and equivalence checking
- Strong knowledge of SystemVerilog, Verilog, and logic/microarchitecture fundamentals
- Experience with abstraction modeling, simulation techniques, and convergence strategies
- Familiarity with Binary Decision Diagrams and Data Flow Graphs
- Problem-solving ability for complex architectural and verification challenges
- Strong collaboration and teamwork skills in cross-functional teams
- Excellent technical documentation and communication abilities
- Interest in advancing verification tools and methodologies
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.
-
Leave & Time Off Breadth — Sabbaticals and paid time off are highlighted as signature elements, with an established program offering four weeks after four years or eight weeks after seven years. This distinctive time off is positioned as a meaningful part of the overall package.
-
Parental & Family Support — Paid bonding leave of 12 weeks and a New Parent Reintegration program, plus fertility benefits around $40,000 and up to $15,000 adoption reimbursement with no lifetime cap, are clearly stated. These programs are presented as standout components alongside broader family support resources.
-
Healthcare Strength — Multiple medical plan options with 2026 updates, a shift to Spring Health for EAP, and in‑network virtual medical visits covered at 100% beginning in 2026 indicate a comprehensive offering. These features signal an emphasis on robust medical access and mental health support.
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.
