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 versatile schedule (10–40 per week) and collaboration with researchers to push the boundaries of proof assistants and automated reasoning.
J-18808-Ljbffr
📌 Remote Lean 4 Formal Verification Scientist For Ai British Columbia
🏢 Alignerr
📍 British Columbia
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.