Jobs for data mathematician at Toronto

About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract...

**About The Role** What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for skilled mathematicians to translate rigorous human arguments into machine-verifiable Lean 4 formalizations — working at the very frontier of what proof assistants...

About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-checkable Lean 4 formalizations, working at the very frontier of AI research and...

Job SummaryThe position is embedded in the Catastrophe (Cat) Modeling department, which operates from Singapore, Toronto and Zurich. It is responsible for quantifying the company’s cat risk in close collaboration with the Cat Research, Portfolio Analytics and Tools & Technology departments. The Cat Modeling team supports risk transfer decisions founded on...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal methods experts to work at the cutting edge of AI research — translating rigorous mathematical arguments into machine-verifiable Lean 4 formalizations, and helping map the frontier of...

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

Location Toronto Employment Type Full time Location Type Hybrid Department Sales & Success Customer Success 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...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical expertise could directly shape how AI reasons about formal proofs — pushing the frontier of what machines can understand and verify? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...

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

**Company Description** PartnerRe is a leading, privately owned, multi-line global reinsurer with a reputation of financial stability and strength, and a commitment to rebuilding businesses and communities after risk events around the world. Our mission is to continue to be a financially stable and predictable business partner, supporting our clients...

Computational Statistics and Applied Mathematics ExpertAbout the ProjectWe're building a large-scale benchmark to test how well advanced AI systems can solve hard scientific and engineering problems. As a task designer, you'll create challenging computational problems that check whether AI can use real scientific software to do research-level work —...

An Overview Of Your Future Role BBA is a leading North American consulting firm that provides a broad range of services, including engineering and design, digital power systems, in-field testing, analysis and commissioning, asset management and analytics, and advisory services. Type of position: Régulier BBA has a new opportunity for a Junior Advisor as...

Company Description PartnerRe is a leading, privately owned, multi-line global reinsurer with a reputation of financial stability and strength, and a commitment to rebuilding businesses and communities after risk events around the world.   Our mission is to continue to be a financially stable and predictable business partner, supporting our clients with...

About Cubist Cubist Systematic Strategies, an affiliate of Point72, deploys systematic, computer-driven trading strategies across multiple liquid asset classes, including equities, futures and foreign exchange. The core of our effort is rigorous research into a wide range of market anomalies, fueled by our unparalleled access to a wide range of publicly...