Alignerr is seeking Lean 4 Proof Engineers to translate complex mathematical proofs into machine-verifiable formalizations to help train advanced AI systems. Candidates should hold an advanced degree in Mathematics or a related field and have hands-on experience with Lean 4 or similar formal proof systems. This is a fully remote, flexible contract position offering $170-$200 per hour.