Cognichip, Inc. is seeking a Formal Verification Engineer to tackle rigorous correctness problems in AI-focused systems. You will develop verification settings, 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 (Canada)
🏢 Cognichip
📍 Canada
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.