data 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...

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...

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...

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...

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...

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...

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...

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...

STEM Graduate Teaching Assistant - Independent School | Surrey STEM Graduate Teaching Assistant Physics, Mathematics, Chemistry, Biology, Engineering & Computer Science Graduates Prestigious Independent School | Surrey Full-Time | Term-Time Only £550 - £600 Per Week Immediate Start Available Are you a high-achieving STEM graduate looking to gain...

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...