at Alignerr
Get paid $170–$200/hr to formalize advanced mathematics in Lean 4 — help push the frontier of AI reasoning. Remote, flexible, and deeply impactful.