Job Description
Alignerr is seeking a researcher to translate informal mathematical proofs into Lean 4 formalizations for AI training. This fully remote hourly contract role emphasizes rigor and collaboration across proof systems. You will translate proofs, analyze formalizable structures, and contribute to improving verification pipelines with readable scripts. Ideal candidates hold a Master’s degree in mathematics or logic, have strong proof-writing skills across domains, and hands-on Lean experience. #J-18808-Ljbffr
