Full-time jobs in Richmond Hill, Ontario

Find full-time jobs in Richmond Hill, Ontario and nearby towns within 25 km. Read the full details and apply.

Newest first

Within 25 km of Richmond Hill

Added 4 months ago
P(
Product Manager
Phoenix (YC W21)
Toronto, Ontario
- $120,000 to $145,000 CAD / year
Added 4 months ago
T
Marketing Strategy Analyst
TouchBistro
Toronto, Ontario
- $85,000 to $100,000 CAD / year
Added 4 months ago
Senior Lifecycle Marketing Manager
Phoenix (YC W21)
Toronto, Ontario
Added 4 months ago
Apprentice Automotive Technician - Downtown Chrysler Jeep Dodge Ram Fiat
DAG | Downtown AutoGroup
Toronto, Ontario
Added 4 months ago
Formal Verification Engineer - AI - Toronto, Canada
Cognichip
Toronto, Ontario
Added 4 months ago
Corporate Mining Engineer
Centerra Gold Inc.
Toronto, Ontario
Added 4 months ago
Project Manager – Software Implementation (Health & Welfare)
TELUS Health
Toronto, Ontario
Added 5 months ago
Baker
COBS Bread
Whitchurch-Stouffville, Ontario
Added 4 months ago
Traffic Engineer
WSP in Canada
Toronto, Ontario
Added 4 months ago
TN
Developer Manager (Java)
The Nationwide Group
Markham, Ontario
- $145,000 to $165,000 CAD / year
Added 4 months ago
Traffic Engineer
WSP in Canada
Vaughan, Ontario
Added 4 months ago
Traffic Engineer
WSP in Canada
Markham, Ontario
Added 4 months ago
Regional Sales Manager – Door-to-Door (Telecom)
Acosta Group
Toronto, Ontario
Added 4 months ago
Structural Engineer (5-9 years)
BBA Consultants
Toronto, Ontario
Added 4 months ago
Litigation Support Analyst (Toronto)
TransPerfect
Toronto, Ontario
Added 4 months ago
Fulfillment and Distribution Associate
Spirit of Math Schools Inc.
Toronto, Ontario
Added 4 months ago
Satellite Systems Designer - Analysis & Support (Contingent)
Kepler Communications Inc.
Toronto, Ontario
Added 4 months ago
Senior Satellite Systems Designer - Platform Architect (Contingent)
Kepler Communications Inc.
Toronto, Ontario
Added 5 months ago
Audit Partner - Technology, Media & Telecom - TMT
RSM Canada
Toronto, Ontario
Added 4 months ago
Construction & Service Fire Alarm Technician
Mircom Group of Companies
Vaughan, Ontario
Added 4 months ago
Junior Structured Cabling Technician
AmpThink
Toronto, Ontario
Added 4 months ago
Junior Business Analyst
FDM Group
Toronto, Ontario
Added 4 months ago
Food Process Engineer
LAPORTE
Toronto, Ontario
Added 4 months ago
Chef de Partie - JOEY Markville
JOEY Restaurant Group
Markham, Ontario
Added 4 months ago
AR
Business Operations Manager
Alloy River
Toronto, Ontario
- $140,000 to $170,000 CAD / year

Cognichip

Formal Verification Engineer - AI - Toronto, Canada

Toronto, ON, Canada

Full-time

Within 25 km of Richmond Hill · About 24.6 km from the city centre

Apply About employer

Applications open in a new tab.

Job details

Job type: Full-time
Posted: Jun 29, 2026

Original job 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 development; debug and root-cause counterexamples.
Improve verification coverage, methodology, and reusability across projects.
Develop scripts and utilities to support verification productivity.

Required Qualifications

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.

Preferred Qualifications

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.

What We Offer

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.

Apply About employer

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

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

Report this job