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.
#J-18808-Ljbffr
📌 Remote Researcher: Lean 4 & Formal Proofs for AI Training (Quebec City)
🏢 Alignerr
📍 Quebec City
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.