Lean Proof Engineer — Formal Mathematics & AI Proofing
Listed on 2026-10-16
-
Manufacturing / Production
Lean Manufacturing / Six Sigma
Cincinnatus LLC is placing highly skilled professionals in engagements with leading technology companies. The Lean engineer will craft correct Lean 4 statements and proofs, formalize complex mathematics, and evaluate AI-generated Lean outputs with clear feedback.
The role requires hands-on Lean 4 experience, mathlib familiarity, and the ability to work 20 hours per week minimum, with potential to scale up. This is a W-2 employment arrangement managed by Cincinnatus.
For the Lean 4 Proof Engineer — Formal Mathematics & AI Proofing position at Mercor, we are reviewing applications now.
Are you ready to take on the Lean 4 Proof Engineer — Formal Mathematics & AI Proofing role at Mercor?
We would love to welcome a new Lean 4 Proof Engineer — Formal Mathematics & AI Proofing to our team in San Francisco, CA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).