Alignerr is seeking a Researcher to translate dense mathematical arguments into Lean 4 proofs for advanced AI training. This fully remote, hourly contract role emphasizes rigor, structure, and exact formalization of proofs across domains.
/n
You will work with Lean (3/4) and related systems, analyze proof structures, and contribute to improving verification pipelines while collaborating with researchers to refine strategies and best practices.