Intel Corporation in Toronto, Canada seeks an experienced Formal Verification Engineer to ensure the reliability of IP and So C 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 robust communication, a deep understanding of CPU architecture, and extensive experience with formal verification tools and test planning.#J-18808-Ljbffr