Jobs for data mathematician at Vancouver

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

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

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

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

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

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

We are a data-driven company with a collegial atmosphere looking for team members who can do great work for application in the algorithmic trading industry. NumerixS Quant builds quantitative trading strategies grounded in science and driven by technology. With a team of scientists, mathematicians, and physicists, we design and run systematic...