at Alignerr
Get paid to push the frontier of formal mathematics — translate advanced proofs into Lean 4 for cutting-edge AI research. Remote & flexible.