Formal Verification Engineer
Intel · Posted Sep 29
Semiconductor manufacturing, microprocessors, data center solutions, and artificial intelligence infrastructure
Get a personal compatibility score
Add a resume for personal matches
About the role
Intel's Silicon Chassis team applies formal methods to exhaustively verify interconnect fabric, protocol bridges, and link-layer logic. The role owns end-to-end formal verification, from property specification through proof convergence, across multiple protocol domains, working closely with architecture, RTL design, physical design, and software teams. It requires strong formal verification depth, protocol knowledge, hands-on coding strength, and a growing ability to mentor junior engineers, with AI-assisted workflows used in everyday development.
What you will do
- 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.
Skills used in this role
What the employer is looking for
- 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.
Benefits and support
- Compensation and benefits are detailed in the job posting
About Intel
Intel Corporation is a global technology leader focused on the design and manufacturing of microprocessors, integrated circuits, and advanced data center infrastructure. The company drives innovation across personal computing, artificial intelligence, and cloud ecosystems while operating a major semiconductor foundry business. Intel delivers foundational silicon and packaging solutions that power modern digital infrastructure worldwide.
- Industry
- Semiconductors
- Company size
- 10001+ employees
- Founded
- 1968
- Location
- Santa Clara, California, USA
- Funding stage
- Public Company
Leadership
Lip-Bu Tan
Chief Executive Officer
Executive Vice President and Chief Financial Officer
Pushkar Ranade
Chief Technology Officer and Chief of Staff to the CEO
Executive Vice President – Chief Technology and Operations Officer, General Manager Intel Foundry
Recent coverage
Intel Corporation
Intel to Report Third-Quarter 2026 Financial Results2026-10-06
MarketScreener
Applied Materials, Intel Partner to Accelerate AI Chipmaking Technologies2026-10-06
Intel Corporation
Intel Outlines Architectures for Agentic AI at Hot Chips 20262026-08-24
BrokerChooser
Intel Secures Equity Funding to Expand AI Chip Production Capacity2026-08-26