at Alignerr
Put your mastery of formal proofs to work at the frontier of AI. Help teach machines to reason mathematically — remote, flexible, and exceptionally well paid.