Alignerr Corp. is seeking mathematicians with Lean experience to formalize advanced arguments for AI research. This fully remote, hourly contract role focuses on translating human reasoning into machine-verifiable knowledge.
The position emphasizes collaboration with researchers, formal verification strategies, and producing readable proof scripts in Lean, with a versatile commitment of 10–40 hours per week.