Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, pushing formal verification to recent frontiers. This fully remote, hourly contract offers 10–40 hours per week and a chance to influence AI reasoning through rigorous, machine-verifiable formalizations.
You will work on translating informal proofs, analyzing sub-structures, and developing readable proof scripts in Lean 4, Coq, Isabelle/HOL, or Agda, collaborating with researchers to improve verification
#J-18808-Ljbffr
📌 Remote Lean 4 Researcher — Formal Proof & AI Reasoning (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.