Lean Proof Engineer for AI Math Formalization

Cincinnatus LLC is placing a Lean engineer at a leading AI lab in Greater London to help model and prove mathematics in Lean 4. You will write and review Lean proofs, formalize informal math, and contribute to evaluating model-proofs for correctness.

This part-time role requires 20–40 hours per week with W-2 employment through Cincinnatus LLC, and opportunities to work on cutting-edge AI-for-math projects within the lab.

#J-18808-Ljbffr…