at Alignerr
Get paid $170–$200/hr to push the boundaries of formal mathematics — formalize cutting-edge proofs in Lean 4 for world-class AI research. Fully remote.