Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Join the Silicon Chassis team to apply formal methods for rigorous verification of interconnect fabrics, protocol bridges, and link-layer logic. You will specify properties, drive proof convergence across protocol domains, and collaborate with architects, RTL designers, and software teams to ensure design correctness.

Experience Level

Mid-level - typically requires multiple years of hands-on formal verification experience (rough guidance: roughly 3–5+ years depending on degree and background).

Responsibilities

Primary responsibilities include planning and executing formal verification tasks and improving verification processes and infrastructure.

• Develop and execute formal verification test plans: define scope, strategy, and methodology.
• Create abstraction models to enable proof convergence on complex designs.
• Generate, validate, and debug formal proofs; troubleshoot failing tests and implement fixes.
• Collaborate with architecture, RTL design, and physical implementation teams to refine verification coverage.
• Maintain and improve formal tools, methodologies, and verification infrastructure.
• Model design verification challenges at the architecture level to simplify analysis.
• Apply techniques to manage BDD complexity and optimize data paths for formal analysis.
• Document verification plans, track progress, and lead technical reviews with cross-functional teams.

Requirements

Key technical must-haves and useful additions for success in this role.

• Must-have: Proficiency with formal verification tools and methodologies (model checking, equivalence checking).
• Must-have: Strong knowledge of SystemVerilog, Verilog, and fundamentals of logic and microarchitecture.
• Must-have: Experience with abstraction modeling, simulation techniques, and convergence strategies for formal proofs.
• Must-have: Familiarity with Binary Decision Diagrams (BDD) and Data Flow Graphs (DFG) and techniques to mitigate complexity.
• Must-have: Ability to generate/validate proofs and diagnose failing formal tests.
• Nice-to-have: Proven track record resolving complex architectural and formal verification challenges.
• Nice-to-have: Experience improving verification tools, workflows, or automation.
• Nice-to-have: Strong cross-functional collaboration, technical documentation, and communication skills.

Education Requirements

Degree-based minimums are specified: Bachelor's degree in Electrical Engineering, Computer Science, or a related field with 4+ years' professional experience; or a Master's degree in a relevant field with 3+ years' experience; or a PhD in a relevant field (no prior professional experience required). Related technical fields and equivalent practical experience are acknowledged.

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.