at Alignerr
Put your Lean 4 expertise to work at the frontier of AI research. Formalize advanced mathematics, push proof assistants to their limits — fully remote.