Remote Lean 4 Formal Verification Scientist

Alignerr Corp. seeks a mathematician with strong formal verification experience to translate advanced proofs into Lean 4 formalizations for AI research projects. You will work remotely on a flexible hourly contract, 10–40 hours per week, collaborating with AI researchers to push the boundaries of automated proof systems while delivering clear, machine-verifiable results. Applicants should hold a master's degree or higher in math or related field, and be proficient with Lean 3/4 or comparable