Jobs in Canada

Group jobs by employerEmail me new jobs Save this search

Added 4 months ago
C
Senior Data Engineer
ClickUp
Canada
- Full-time
We're looking for a Staff Data Engineer to own the architecture and technical vision of our data platform. This is a high-leverage, high-autonomy role where you'll set the technical bar for…
Added 4 months ago
C
Formal Verification Engineer - AI - Toronto, Canada
Cognichip
Toronto, Ontario
- Full-time
Solid programming skills (e.g., Python, C++) and the drive to rapidly master new tools and domains.
Added 4 months ago
KC
Satellite Systems Designer - Analysis & Support (Contingent)
Kepler Communications Inc.
Toronto, Ontario
- Full-time
As a Systems Engineer, you will support satellite and payload development programs by contributing to mission analysis, system-level engineering, payload integration, verification planning,…
Added 4 months ago
KC
Senior Satellite Systems Designer - Platform Architect (Contingent)
Kepler Communications Inc.
Toronto, Ontario
- Full-time
As a Senior Systems Engineer, you will be a technical leader contributing across multiple satellite and space-system programs. You will help deliver critical subsystems, system-level work…
Added 4 months ago
Q
Connectivity Systems Engineer, Staff
Qualcomm
Toronto, Ontario
- Full-time
As a connectivity systems engineer, you'll define and develop the technologies that underlie the next generation of our products. The ideal candidate will have extensive hands-on experience…
Added 3 months ago
HT
Research Engineer - AI Data Security
Huawei Technologies Canada Co., Ltd.
Markham, ON · Waterloo, ON
- Contract
Huawei Canada has an immediate 12-month contract opening for a Research Engineer.
Added 2 months ago
TT
Product Application Engineer - Building Automation
trane technologies
Montreal, Quebec
- Full-time
…Intelligence company for the position of Product Application Engineer - Building Automation. Are you fascinated in leveraging AI to gain insight in the behavior of buildings? You will be…
Added 3 months ago
L
Customer Success Application Engineer
Litmus
Remote, Canada
- Full-time
- Remote
The Application Engineer is a key technical role within the Litmus Customer Success team and is responsible for ensuring successful configuration, deployment, and value realization of…
Added 2 months ago
Senior Software Engineer, AI Entries
Lyft
Toronto, ON
Lyft considers working in the office at least 3 days per week to be an essential function of this hybrid role
Added 2 months ago
TI
Product Application Engineer - Building Automation
Trane Italia
Canada
- Full-time
…Intelligence company for the position of Product Application Engineer - Building Automation. Are you fascinated in leveraging AI to gain insight in the behavior of buildings? You will be…
Added 3 months ago
PS
Senior Applied AI Engineer
Public Sector Pension Investment Board
Montreal, QC
- Full-time
Develop across the stack: the Floyd Python SDK and its Gradio- and React-based front ends
Added 2 months ago
C
Backend Engineer
Cambio
Kitchener, ON
- Full-time
We're looking for a Backend Engineer to build, help teammates do their best work, and have fun doing it.
Added 4 months ago
P
Full Stack Engineer II
Procurify
Remote, Canada
- $116,000 to $129,000 CAD / year
- Full-time
- Remote
We are looking for a Full Stack Engineer II to join our team and help build the core engine and user experiences that power the Procurify platform. You will be a key contributor across both…
Added 4 months ago
B
Staff Application Security Engineer
Brex
Canada
- $240,000 to $300,000 USD / year
- Full-time
We currently require 3 days per week in the office - Monday, Wednesday and Thursday
Added 2 months ago
TC
Machine Learning Engineer - Express Scripts Canada
The Cigna Group
Mississauga, ON
- Full-time
- Other
Express Scripts Canada is looking for a Machine Learning Engineer to join our Team. The successful candidate will design, build, and operate data pipelines and ML services that detect…
Added 3 months ago
CH
Machine Learning Engineer - Express Scripts Canada
Cigna Healthcare
Mississauga, ON
- Full-time
Express Scripts Canada is looking for a Machine Learning Engineer to join our Team. The successful candidate will design, build, and operate data pipelines and ML services that detect…
Added 2 months ago
Senior Software Engineer (Senior AI Engineer)
Scotiabank
Toronto, ON
Experience developing large applications (Python and microservice architecture are strongly preferred).
Added 3 months ago
S&
Lead Underground Transmission Line Engineer 2 - Grid
Sargent & Lundy
Toronto, ON · North York, ON
- Full-time
Added 3 months ago
S&
Senior Underground Transmission Line Engineer 2 - Grid
Sargent & Lundy
Toronto, ON · North York, ON
- Full-time
Added 3 months ago
AG
R2026-297 Senior Software Engineer
Adelphi Group
Toronto, ON
- Full-time
As a Senior Software Engineer - Full Stack with Perpetua, you will contribute to our core platform built primarily with Python, Django, React, TypeScript, BigQuery, and GCP. You will help…
Added 3 months ago
AN
Expert/Principal Software Engineer
Arista Networks
Vancouver, BC
- Full-time
Independently implement solutions to small-sized problems in our EOS and related software, using the C, C++, and python programming languages.
Added 3 months ago
N
Intermediate Digital Hardware Design Engineer
Nokia
Canada
- Full-time
…and the VP of Hardware. We are also very lean - each Hardware Engineer spends more time doing engineering work and less time on overhead. As a result, your work has high visibility, and…
Added 1 month ago
V
Senior Software Engineer
Voices
ON · Ontario, Canada
- Full-time
As a Senior Software Engineer, you’ll join a high-performing development organization working in cross-functional teams to design, build, and evolve modern full-stack systems that power…
Added 1 month ago
F
Staff Software Engineer - Code Authoring
Forerunner
Kitchener, ON
- Full-time
Own the developer workflow end to end: how an engineer or an agent gets from a ticket to a merged, tested change. Know where it is slow or fragile, and change the tooling to fix it.
Added 4 months ago
S
Senior Backend & Infrastructure Engineer
Scispot
Remote, Canada
- $80,000 to $120,000 CAD / year
- Full-time
- Remote
We are looking for a senior backend and infrastructure engineer who treats production as a product.

Cognichip

Formal Verification Engineer - AI - Toronto, Canada

Toronto, ON, Canada

Full-time

Apply on LinkedIn About employer

Applications open in a new tab.

Job details

Job type: Full-time
Posting language: English
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 on LinkedIn 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

Work requirements

Jobs in Canada