at Alignerr
Put your mastery of formal proofs to work at the frontier of AI. Formalise advanced mathematics in Lean 4 — remote, flexible, and exceptionally well paid.