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.

📌 Formal Verification Engineer Toronto
🏢 Intel
📍 Toronto