at Alignerr
Get paid to formalize advanced math in Lean 4 — work at the frontier of formal verification and shape the future of AI reasoning. Remote & flexible.