FVCTO - Formal Verification Engineer

Job Title

FVCTO - Formal Verification Engineer

Role Summary

Responsible for formal verification of IP and SoC microarchitecture using model checking and equivalence checking tools. The role designs verification scope and strategies, creates abstraction models, and delivers formal proofs to verify protocols, architectures, and complex microarchitectural features.

This position is based in Bangalore and is eligible for Intel's hybrid work model (split between on-site and off-site work).

Experience Level

Mid-level (Experienced hire). The posting lists 2–18 years of experience in formal verification; candidates are expected to have multiple years of hands-on formal verification experience.

Responsibilities

Key responsibilities include designing and executing formal verification plans and developing/verifying proofs.

• Develop formal verification test and coverage plans that define scope, strategy, and techniques.
• Create abstraction models and carve design boundaries to achieve convergence.
• Develop, review, and maintain formal proofs and new formal verification methodologies.
• Apply model checking, equivalence checking, and related formal tools to verify architectures and protocols.
• Combine abstraction and simulation techniques to reach convergence and resolve failing tests.
• Collaborate with architects, RTL developers, and physical design teams; document plans and lead technical reviews.
• Maintain and improve functional verification infrastructure and methodology.
• Analyze BDD and data-flow graph complexity for data paths and apply corrective measures.

Requirements

Must-have skills and experience for initial consideration.

• Hands-on experience with formal verification tools and methodologies (model checking, equivalence checking).
• Ability to create and validate abstraction models and apply abstraction techniques to large designs.
• Experience developing and reviewing formal proofs and verification strategies.
• Familiarity with verification planning, coverage, and convergence techniques.
• Proven collaboration skills with architecture, RTL, and physical design teams and ability to document technical reviews.
• Strong problem-solving skills to debug failing tests and resolve BDD/DFG complexity issues.
• Experience maintaining or improving verification infrastructure; scripting/programming skills commonly used for verification workflows.

Nice-to-have: prior SoC/IP verification experience and work on arithmetic-heavy data paths.

Education Requirements

Preferred: BTech or MTech in Electronics, Electrical Engineering, or Computer Science. The posting also accepts equivalent practical experience obtained through industry work, internships, or academic research.

About the Company

Company: Intel Corporation

Headquarters: Santa Clara, California, USA

Intel Corporation is a leading multinational technology company known for its innovative semiconductor solutions, including microprocessors, artificial intelligence accelerators, and memory products. Headquartered in the United States, Intel focuses on cutting-edge technology and a collaborative working environment, driving advancements in semiconductor manufacturing to meet global demands. The company emphasizes professional development and aims to shape the future of technology through groundbreaking designs.