Lean Engineer for Formal Math & Lean 4 Proofs

Cincinnatus LLC is seeking Lean engineers and proof engineers to help its AI lab formalize mathematics in Lean 4. You will write and review Lean proofs, translate informal math into precise formal statements, and judge whether proofs actually verify the right results.The role is part-time (at least 20 hours/week, up to 40) with potential for extension or placement at a leading AI lab as part of the extended workforce. Previous Lean 4 and mathlib experience is essential. #J-18808-Ljbffr