Alignerr seeks a Lean 4 Proof Engineer to translate rigorous mathematical arguments into machine-verifiable Lean proofs for AI research. This fully remote, hourly contract role emphasizes formal verification, reproducibility, and collaboration with researchers. You will work at the frontier of mathematics and computer science, formalizing proofs and developing Lean models. Candidates hold a master's or higher in math/logic, robust proof-writing skills, and experience with Lean (Lean 4 preferred)
#J-18808-Ljbffr
📌 Remote Lean 4 Proof Engineer for AI Math Formalization (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.