at Alignerr
Get paid to formalize advanced mathematics in Lean 4 — work at the frontier of formal verification and help shape the future of AI reasoning.