mathematician jobs in Vancouver

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We’re looking for mathematicians with hands‑on Lean experience to formalize advanced mathematical arguments for cutting‑edge AI research — translating human reasoning into precise, machine‑verifiable knowledge. This is a...

Role OverviewWe are seeking expert mathematicians to author and review high-quality academic assessment content for an AI research initiative. You will write and verify rigorous multiple-choice questions across core mathematics domains, evaluate solution quality, and help establish gold-standard benchmarks used to advance AI capabilities.You will be assigned...

Organization Description JUMP Math is a federally registered Canadian charity with an equity-driven mission to transform children’s experience with math learning and empower them to achieve their full potential. At JUMP Math, we believe every child can not only learn math but love it. Our evidence-based, Preschool to Grade 8 math program empowers teachers...

Who We AreHealthcare needs a better rhythm: one that keeps care continuous and deeply human. Heidi is building an AI Care Partner that works alongside clinicians to make that possible. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73...

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You’ll create math problems, analyze model responses, and identify gaps in logic or understanding. The...

Who We Are Healthcare needs a better rhythm: one that keeps care continuous and deeply human. Heidi is building an AI Care Partner that works alongside clinicians to make that possible. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic? We're looking for expert mathematicians to translate advanced human-written proofs into machine-verifiable formalizations — working at the exact boundary of...

Mathematics Expert (AI Training) About The Role What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world? We're looking for Mathematics Experts — Masters and PhD holders — to help train cutting-edge AI models to think, reason, and solve problems the way the best mathematicians...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands-on Lean experience to formalize advanced mathematical arguments for cutting-edge AI research — translating human reasoning into precise, machine-verifiable knowledge. This is a fully...

Role Overview We are seeking expert mathematicians to author and review high-quality academic assessment content for an AI research initiative. You will write and verify rigorous multiple-choice questions across core mathematics domains, evaluate solution quality, and help establish gold-standard benchmarks used to advance AI capabilities. You will be...

Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical proofs into Lean 4 — working at the exact boundary where human mathematical...

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

Mathematics Researcher (Masters/PhDs) - AI Training About The Role What if your deep knowledge of mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Researchers to help train and improve cutting-edge AI models — designing rigorous problems, evaluating solutions, and pushing AI...

Organization Description JUMP Math is a federally registered Canadian charity with an equity-driven mission to transform children’s experience with math learning and empower them to achieve their full potential. At JUMP Math, we believe every child can not only learn math but love it. Our evidence-based, Preschool to Grade 8 math program empowers...

Organization Description JUMP Math is a federally registered Canadian charity with an equity-driven mission to transform children’s experience with math learning and empower them to achieve their full potential. At JUMP Math, we believe every child can not only learn math but love it. Our evidence-based, Preschool to Grade 8 math program empowers...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

Mathematical Formalization Specialist (Lean / Formal Proof Systems)What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic? We're looking for expert mathematicians to translate advanced human-written proofs into machine-verifiable formalizations — working at the exact boundary of what modern proof...

Who We Are Healthcare needs a better rhythm: one that keeps care continuous and deeply human. Heidi is building an AI Care Partner that works alongside clinicians to make that possible. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73...

About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the most rigorous structures in mathematics? We're looking for Applied Formal Methods Researchers to translate advanced mathematical arguments into precise, machine-verifiable Lean 4 proofs — working at the very edge of what automated...