Job Description
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