at Alignerr
Get paid top dollar to formalize advanced mathematics in Lean 4 — help push the frontier of AI and formal verification. Remote, flexible, elite work.