at Alignerr
Put your Lean 4 expertise to work at the frontier of AI. Help formalize the proofs that automated systems can't — fully remote, elite pay.