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 adaptable asynchronous setup.
#J-*****-Ljbffr