Confidential
WhatJobsLean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Elgin, TX
Shape how advanced AI systems state, prove, and evaluate machine-checked mathematics in Lean 4. You will formalize mathematical ideas, develop an…
Last received from source 2026-10-13View job