Jobs for mathematician at Toronto

Obsidian invites 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 one of two...

This opportunity is only for candidates currently residing in the specified country. Your location may affect eligibility and rates. Please submit your resume in English and indicate your level of English.At Mindrift, innovation meets opportunity. We believe in using the power of collective intelligence to ethically shape the future of AI.What we doThe...

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

Mercor seeks expert mathematicians to author and review high‑quality academic assessment content for an AI research initiative. You will craft rigorous multiple‑choice questions across core domains, verify solutions, and help establish gold‑standard benchmarks for advancing AI capabilities.Ideal candidates hold a PhD or are doctoral candidates in...

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

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems to tackle problems that sit beyond the reach of automated tools — translating rigorous human arguments...

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

Job OverviewPlan A Technologies is looking for a Slot Game Mathematician. In this role, you will handle designing and implementing mathematical logic for slot games, working from specifications provided by Game Designers. This role requires a deep understanding of probability and statistical modeling to ensure the games are mathematically sound and...