Location
markham, on, Canada
Posted
July 20, 2026
Job Description
The Role
The Formal Verification team is dedicated to formal verification. It provides formal functional and security verification for a broad range of IPs including input-output virtualization, PCIe Root-Complex/End-Point, inter-chiplet highspeed connections, etc. We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, highspeed IO bus protocols and team leadership to take on the challenges. In these highly visible roles, the qualified candidates will use cutting edge formal verification technologies to verify the newest IPs resulting in a level of design quality not paralleled by classical verification.
Key Responsibilities
- Collaborating with architects and designers to understand the design intents
- Creating and executing formal verification plans for design blocks
- Writing and debugging properties to verify the design, analyzing ...