Job Description
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematics into machine-verifiable formalizations. This is a fully remote, hourly contract role emphasizing precision, structure, and pushing proof assistants to their limits.
n
You will translate informal proofs, identify gaps, and construct Lean formalizations while collaborating with AI researchers to refine verification strategies and maintain readable proof scripts.
J-*-Ljbffr
📌 Remote Lean 4 Proof Engineer For Mathematical Formalization Perth (Australia)
🏢 Alignerr
📍 Australia
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.