Job Description
Alignerr is seeking a Researcher for Lean 4 and formal proof systems to translate sophisticated mathematics into machine-verifiable Lean 4 formalizations. This is a fully remote, hourly contract role with flexible hours, ideal for researchers who relish rigorous reasoning and pushing proof assistants to their limits. You will translate informal arguments into structured proofs, analyze domains for gaps, and collaborate on improving verification pipelines while maintaining clean, reproducible #J-18808-Ljbffr
