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.
#J-18808-Ljbffr
📌 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.