← Back to jobs

Formal Verification Engineer - AI - Toronto, Canada

Description

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…

Get similar jobs in Canada by email

We'll email you when new jobs similar to this one appear.

Similar jobs

Explore more Software Development jobs in Canada.

Finding similar jobs…