AI Systems Formal Verification Engineer

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 strong 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.