Intel Corporation in Toronto, Canada seeks an experienced Formal Verification Engineer to ensure the reliability of IP and SoC designs. You will apply formal verification methods, model checking, and abstraction techniques to tackle complex architectural challenges and collaborate with RTL and physical design teams. The role demands solid communication, a deep understanding of CPU architecture, and extensive experience with formal verification tools and test planning.