Lean Proof Engineer AI Math Lab
Listed on 2026-10-20
-
Engineering
Lean Manufacturing / Six Sigma
Cincinnatus LLC is seeking Lean engineers and formal mathematicians to help its AI lab state and prove mathematics in Lean. You will write Lean 4 proofs, formalize informal math, and review AI-generated proofs to ensure correctness and fidelity.
This part-time role requires 20–40 hours per week, with W-2 employment through Cincinnatus LLC and potential placement at a leading AI lab as part of the extended workforce.
This posting is for the Lean 4 Proof Engineer for AI Math Lab role at Mercor, based in San Francisco, CA, United States.
Join us at Mercor as our next Lean 4 Proof Engineer for AI Math Lab in San Francisco, CA, United States.
We are currently recruiting a Lean 4 Proof Engineer for AI Math Lab for 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).