Alignerr is seeking mathematicians with experience in formal proof systems—especially Lean—to translate informal mathematical arguments into machine-verifiable proofs. Candidates should hold at least a Master's degree in Mathematics, Logic, Theoretical Computer Science, or a related field, with strong proof-writing skills. The position is a fully remote, flexible, hourly contract role.