Alignerr is seeking a mathematician with Lean experience to formalize advanced mathematical arguments for cutting-edge AI research. You will translate human reasoning into machine-verifiable knowledge in Lean.
This fully remote, hourly contract role offers flexible schedule (10–40 per week) and collaboration with researchers to push the boundaries of proof assistants and automated reasoning.
📌 Remote Lean 4 Formal Verification Scientist for AI (Vancouver)
🏢 Alignerr
📍 Vancouver
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.