Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Gridnaut Recruiting is hiring a remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) contractor (pay $90–$110/hr). Contribute to frontier AI research and evaluation work. Ideal candidates: Contract engagement for Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving); remote-friendly independent contractor work.; Hands-on experience relevant to Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving); deliver high-quality work product to brief.; Clear written communication and ability to meet agreed timelines.. Apply at https://gridnaut.site/jobs/lean-engineer-formal-mathematics-lean-4-mathlib-theorem-proving/ Fully remote. Brand: Gridnaut Recruiting.