at Alignerr
Put your Lean 4 expertise to work at the frontier of AI. Help machines reason like mathematicians — fully remote, flexible, and exceptionally well paid.