Remote Lean 4 Formal Methods Researcher

Alignerr is seeking an Applied Formal Methods Researcher to formalize advanced mathematics using Lean 4. This fully remote role suits mathematicians who enjoy translating informal proofs into machine verifiable formats. You'll collaborate with researchers, analyze both generic and domain-specific proofs, and explore improvements in formal verification pipelines.

Applicants should hold a Master's degree in a related field and possess experience with proof assistants. This position offers freelance flexibility and the chance to work on cutting-edge AI projects.