14 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 solid 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.
#J-18808-Ljbffr
📌 AI Systems Formal Verification Engineer (Toronto)
🏢 Cognichip
📍 Toronto