Formal Verification Engineer - AI - Toronto, Canada
- Toronto, ON, Canada
Full-time
Applications open in a new tab.
Job details
- Job type
- Full-time
- Posting language
- English
- Posted
Original job description
Job Title
Formal Verification Engineer - AI
About The Role
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.
- 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 development; debug and root-cause counterexamples.
- Improve verification coverage, methodology, and reusability across projects.
- Develop scripts and utilities to support verification productivity.
- BS, MS, or Ph.D. in Computer Science, Mathematics, Physics, or another rigorous quantitative field.
- Demonstrated strength in mathematical reasoning - through formal verification experience, research, competition mathematics, or comparable evidence of rigor.
- Solid programming skills (e.g., Python, C++) and the drive to rapidly master new tools and domains.
- Hands-on experience with formal verification: model checking, property specification, or automated theorem proving.
- Experience with interactive theorem provers (e.g., Coq, Lean, Isabelle, ACL2) or SMT solvers (e.g., Z3, CVC5).
- Experience building verification tooling or contributing to open-source formal methods projects.
- Background in logic, type theory, discrete mathematics, or mathematical physics.
- The chance to work on genuinely hard correctness problems where rigor matters.
- Mentorship from experienced formal methods engineers and a structured ramp-up into the field.
- A culture that values depth, precision, and first-principles thinking.
More about this job
Responsibilities
Develop and apply formal verification environments for complex systems. Translate specifications and design documents into rigorous formal properties.
Requirements
A BS, MS, or Ph.D. in a rigorous quantitative field is required, along with demonstrated strength in mathematical reasoning. Solid programming skills and the ability to quickly master new tools and domains are also necessary.
Skills
- Formal Verification
- Mathematical Reasoning
- Programming
- Model Checking
- Property Specification
- Automated Theorem Proving
- Interactive Theorem Provers
- SMT Solvers
- Logic
- Type Theory
- Discrete Mathematics
- Mathematical Physics
Visa sponsorship
Not detected in the job text
Categories
- Technology
- Engineering
- Science & Research
- Software
Keywords
- Formal Verification
- Mathematics
- Physics
- Computer Science
- Model Checking
- Property Checking
- Automated Proof Development
- Debugging
- Counterexamples
- Verification Coverage
- Methodology
- Reusability
- Python
- C++
- Theorem Provers
- SMT Solvers
- Open-source
- Logic
- Type Theory
- Discrete Mathematics
- Mathematical Physics