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