at Alignerr
Get paid to push the limits of formal mathematics — translate advanced proofs into Lean 4 for cutting-edge AI research. Remote, flexible, elite-level work.