at Alignerr
Get paid to formalize advanced math in Lean 4 — help push the frontier of AI and formal verification. Remote, flexible, and highly competitive pay.