Found 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-impact engineering problems.
If you have a talent for precise reasoning, constructing airtight arguments, and learning new technical domains quickly, we will teach you the rest.
Key Responsibilities
- Develop and apply formal verification environments for complex systems.
- Translate specifications and design documents into rigorous formal properties.
- Perform property checking, model checking, and automated proof develo...
Ready to Apply?
Submit your application for Formal Verification Engineer - AI - Toronto, Canada at Cognichip
Apply Now