at Alignerr
Get paid top dollar to push the limits of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Fully remote and flexible.