AI Systems Formal Verification Engineer (Toronto)

AI Systems Formal Verification Engineer (Toronto)

22 Oct
|
Cognichip
|
Toronto

22 Oct

Cognichip

Toronto

Cognichip, Inc. is seeking a Formal Verification Engineer to tackle rigorous correctness problems in AI-focused systems. You will develop verification environments, translate specifications into formal properties, and debug counterexamples to prove design behavior.

We value robust mathematical reasoning, solid programming (Python/C++), and experience with proof tools (Coq/Lean/Isabelle or Z3). A Ph.D. or MSc in a quantitative field is welcome; mentorship and structured ramp-up are provided.

📌 AI Systems Formal Verification Engineer (Toronto)
🏢 Cognichip
📍 Toronto

Reply to this offer

Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.

23454 - Business Manager - Public Protection South Central (Part Time 0.5 FTE) (Ontario)

23454 - Business Manager - Public Protection South Central (Part Time 0.5 FTE) (Ontario)

22 Oct
|
Ministry of Justice UK
|
Ontario
  • 22 Oct
  • Ministry of Justice UK
  • Ontario

Descriptions & requirements Overview of the job The Business Manager will operate across multiple functional areas of the business. The job holder provides support to the senior team within their f [...]

311 & Customer Access Team Leader (Edmonton)

311 & Customer Access Team Leader (Edmonton)

22 Oct
|
City of Edmonton
|
Edmonton
  • 22 Oct
  • City of Edmonton
  • Edmonton

- Successful completion of Grade 12 supplemented by two business related courses focusing on leadership, coaching, development of staff and/or leading people for results - Minimum of 5 years business [...]

Subscribe to this job alert:

Get the latest job offers by email for: ai systems formal verification engineer (toronto) / toronto

100% Permanent Teacher (Early, Middle Years), Two Positions Available (Portage la Prairie)

100% Permanent Teacher (Early, Middle Years), Two Positions Available (Portage la Prairie)

22 Oct
|
Portage la Prairie School Division
|
Portage la Prairie
  • 22 Oct
  • Portage la Prairie School Division
  • Portage la Prairie

The Portage la Prairie School Division is seeking dedicated and enthusiastic teachers to join our team commencing January 4, 2027. The Portage la Prairie School Division is committed to providing exc [...]

1.0 FTE Junior LTO Teacher (Longlac)

1.0 FTE Junior LTO Teacher (Longlac)

22 Oct
|
Sncdsb
|
Longlac
  • 22 Oct
  • Sncdsb
  • Longlac

Internal Job Posting 1.0 FTE Junior LTO Teacher External Competition #4069923 Start Date : As soon as possible until November 2026 Location : Our Lady of Fatima Catholic School, Longlac Salary: $ [...]

Subscribe to this job alert:

Get the latest job offers by email for: ai systems formal verification engineer (toronto) / toronto