Remote Lean 4 Proof Engineer — AI Formalization

Alignerr seeks a Lean 4 Proof Engineer to translate complex mathematical arguments into machine-checkable formalizations using Lean 4. You will work on creating clear, verifiable proofs and collaborate with AI research teams to push formal verification capabilities.

This is a fully remote, hourly-contract role offering 10–40 hours per week. You bring a strong background in mathematics and formal proof systems, with hands-on experience in Lean and related tools, to advance mechanized reasoning.

#J-18808-Ljbffr