04 Aug
|
Alignerr
|
Brisbane City
04 Aug
Alignerr
Brisbane City
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 (Brisbane City)
🏢 Alignerr
📍 Brisbane City