Remote Senior Formal Verification Engineer – AI ASIC

A leading technology company is seeking a Senior Formal Verification Engineer in Canada to verify sophisticated ASIC designs related to AI. This role involves multi-functional collaboration, formal verification execution, and developing advanced methodologies. Ideal candidates should have over 12 years of ASIC verification experience, with mastery in formal verification tools and scripting skills. A competitive salary range of 195,000 CAD - 245,000 CAD is offered, along with equity options. #J-18808-Ljbffr