Formal Verification Engineer - AI - Toronto, Canada

Job Title Formal Verification Engineer - AI About The Role We are looking for exceptional analytical minds to join our verification team. Our work centers on a hard and rewarding problem: mathematically proving that complex systems behave exactly as specified — no edge cases, no exceptions. You might be an experienced formal methods practitioner, or you might come from pure mathematics, physics, or another rigorous quantitative discipline and be looking to apply your skills to concrete, high-im…