Alignerr is seeking a Researcher to translate informal mathematical arguments into Lean 4 formalizations, with emphasis on clarity and correctness, remote contract.
You will analyze proofs, test proof assistants, collaborate to improve verification pipelines, and develop readable, reproducible Lean scripts. A solid mathematical background and Lean experience are required.
This flexible 10–40 hour/week role allows you to shape cutting-edge AI training through formal methods.
📌 Remote Researcher: Lean 4 & Formal Proofs for AI Training (Toronto)
🏢 Alignerr
📍 Toronto
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.