Formal verification expertise meets Intel’s hybrid Toronto team, where you will validate next-generation IP and SoC designs. Apply model checking and equivalence checking.
As a Formal Verification Engineer, you will work with architects, RTL developers, and physical design teams. The position focuses on complex architectural and microarchitectural challenges. You will develop verification plans, create abstractions, and prove protocols using formal methodologies.
Key Responsibilities: Conduct formal verification for IP and SoC microarchitecture
Develop test, coverage, and verification strategy plans
Create abstractions and track design convergence
Develop and review formal proofs
Resolve failing tests through corrective measures
Requirements: Bachelor’s degree in electrical or computer engineering
Six-plus years using formal verification tools
Experience with SystemVerilog and test planning
Knowledge of CPU architecture and cache coherence
Knowledge of CXL coherence
Bring formal verification, SystemVerilog, and architecture expertise to Intel’s Toronto IP and SoC validation work.

#J-18808-Ljbffr

📌 Formal Verification Engineer Toronto (Ontario)
🏢 Intel
📍 Ontario