Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Join the Silicon Chassis team to apply formal methods for exhaustive verification of interconnect fabrics, protocol bridges, and link-layer logic. The role owns end-to-end formal verification from property specification through proof convergence across multiple protocol domains.

You will work with architecture, RTL design, and software teams to develop proofs, abstraction models, and verification infrastructure, and help drive cross-functional technical reviews.

Experience Level

Mid-level — typically requires approximately 5+ years of relevant formal verification experience as stated in the posting.

Responsibilities

Primary responsibilities include planning and executing formal verification activities and maintaining formal verification infrastructure.

• Develop and execute formal verification test and coverage plans, defining scope, strategy, and techniques.
• Create abstraction models and apply abstraction techniques to aid proof convergence.
• Generate and validate formal proofs; diagnose and resolve failing tests.
• Collaborate with architecture, RTL design, and physical design teams on complex architectural and microarchitectural verification.
• Maintain and enhance formal verification tools, infrastructure, and methodologies.
• Simplify and model verification problems using architecture modeling techniques for protocols and architectures.
• Use tools to manage BDD complexity, optimize data paths, and formally prove protocol correctness.
• Document test plans, track verification progress, and lead technical reviews with cross-functional teams.

Requirements

Must-have technical skills and experience, followed by preferred attributes.

• 5+ years of hands-on formal verification experience, including model checking and equivalence checking.
• Proficiency in formal verification tools and methodologies; experience driving proof convergence.
• Strong knowledge of SystemVerilog, 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).
• Practical coding skills and ability to develop verification infrastructure and automation.
• Ability to work across protocol domains and collaborate with cross-functional teams.
• Nice-to-have: strong problem-solving, technical documentation, mentoring junior engineers, and experience improving verification tools or methodologies.

Education Requirements

BS or MS in Electrical Engineering, Computer Science, or a related technical field.

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.