Alignerr is seeking mathematicians and formal verification specialists to translate advanced mathematical arguments into Lean 4 proofs, advancing machine-verifiable formalizations.
This remote, hourly contract role suits those who relish precision and the elegance of formal mathematics.You'll work on translating informal proofs, analyzing sub-structures, and collaborating with AI researchers to refine verification strategies in a versatile asynchronous setup.
#J-*****-Ljbffr
📌 Lean 4 Formal Verification Scientist — Remote Contract (New South Wales)
🏢 Alignerr
📍 New South Wales
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.