Formal Verification Engineer - AI - Toronto, Canada
Is this the right opportunity for you?
Explore more jobs, compare advertised salaries and see which skills employers want.
Explore careersSearch for a different role
More Software Development jobs →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…