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.
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.
#J-18808-Ljbffr
📌 Remote Lean 4 Proof Systems Researcher (Australia)
🏢 Alignerr
📍 Australia
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.