at Alignerr
Get paid up to $200/hr to formalize advanced mathematics in Lean 4 — work at the frontier of formal verification and AI research. Fully remote.