Mathematician – Proof Formalization & AI Research (Remote Contract)

Put your formal mathematics expertise to work shaping the future of AI — a fully remote, flexible contract role open to Canadian mathematicians.