at Alignerr
Get paid up to $200/hr to formalize advanced proofs in Lean 4 and push the frontier of AI reasoning. Remote, flexible, and built for serious mathematicians.