at Alignerr
Get paid to formalize advanced math in Lean and push the boundaries of AI reasoning. Ideal for mathematicians who love rigorous proof and formal verification.