mathematical modelling jobs in Toronto

About KinaxisAre you looking to join an innovative, market-leading company where you can truly elevate your career? At Kinaxis we are serious about culture, we are serious about technology, we are serious about customers, and we are serious about not taking ourselves too seriously. If you are looking to be part of an incredible growth story, then we might...

Join or sign in to find your next jobJoin to apply for the Mathematics Tutor role at Cosmo1 week ago Be among the first 25 applicantsJoin to apply for the Mathematics Tutor role at CosmoGet AI-powered advice on this job and more exclusive features.Direct message the job poster from CosmoRecruiting Lead @ Cosmo 1:1! Connect with me to apply todayTeach online...

Contribute to groundbreaking AI research by helping models write real, machine-checked mathematics in Lean. This part-time role focuses on formalizing math and reviewing proofs effectively. Cincinnatus LLC is seeking Lean engineers and formal mathematicians to work with a leading AI lab. This role involves writing Lean 4 proofs, transforming informal...

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

Role Summary To strengthen our Editorial team, we are looking for recent graduates who are eager to stay connected to scientific research by helping researchers worldwide publish their latest results. This is a Support the editorial process for academic research journals in the field of mathematics and related disciplines; Organize the peer review process...

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the...

Mercor is hiring PhD and Master's scientists to author AI evaluation tasks (Sci Code) Mercor is partnering with leading AI labs on a new benchmark for scientific computing. You will author original, executable research problems that today's frontier models cannot solve. Domains - depth required in at least two subdomains (with a coding focus) -...

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

Role Summary To strengthen our Editorial team, we are looking for recent graduates who are eager to stay connected to scientific research by helping researchers worldwide publish their latest results. This is a full-time, in-office, entry-level, and permanent position based in our Toronto office. Assistant Editor As an Assistant Editor, you will: Support...

Join a ChallengerAt EQ, we're remaking banking so every Canadian gets ahead, every day. Serving nearly 4 million Canadians from coast to coast, we offer a wide variety of financial services from banking and lending, to trust and credit union solutions. We've been at this since 1970, challenging the conventions of traditional banking with smarter, faster, and...

BMO Capital Markets is a leading, full-service financial services provider. We offer corporate and investment banking, treasury management, as well as research and advisory services to clients around the world. #bmocapitalmarketsAs part of the Quantitative Modeling team, the successful candidate will perform a wide range of activities related to the life...

Application Deadline: 11/29/2026 Address: 100 King Street West Job Family Group: Data Analytics & Reporting BMO Capital Markets is a leading, full-service financial services provider. We offer corporate and investment banking, treasury management, as well as research and advisory services to clients around the world. #bmocapitalmarketsAs part of the...

Role SummaryThe Senior Analyst, Model Validation performs quantitative and qualitative validation of models and non-models developed to assess and analyze market, credit, liquidity, and financial risks for TMX Group subsidiaries.Key AccountabilitiesAssess model and non-model soundness and risk from technical and functional perspectives, evaluating conceptual...

About Basetwo Basetwo is building the AI layer for pharmaceutical and chemical manufacturing. Our AI-powered digital twin platform helps manufacturers accelerate the journey from lab to commercial production through faster scale-up/tech transfer, and de-risked quality control. Trusted by leading global manufacturers, we're bringing modern AI to one of the...

Job Description:Remote contract for PhDs in Mathematics, Statistics, or related fields. Work on cutting-edge projects with top AI labs while earning $100+/hour, fully remote, with flexible weekly hours. No AI experience required.Role Overview:Help fine-tune large language models (like ChatGPT) using your math and analytical skills. You’ll design problems,...

Join to apply for the Specialist, Scoring and Modeling role at Quantum Management Services Ltd. Position: Specialist, Scoring and ModelingLocation: Downtown Toronto or London, ONJob Type: Permanent - 3 days onsite We are seeking a Specialist, Scoring & Modeling to join our client in the Financial Services space. Reporting directly to the Director of Scoring...

Join a Challenger At EQ, we're remaking banking so every Canadian gets ahead, every day. Serving nearly 4 million Canadians from coast to coast, we offer a wide variety of financial services from banking and lending, to trust and credit union solutions. We've been at this since 1970, challenging the conventions of traditional banking with smarter, faster,...

Join a Challenger At EQ, we're remaking banking so every Canadian gets ahead, every day. Serving nearly 4 million Canadians from coast to coast, we offer a wide variety of financial services from banking and lending, to trust and credit union solutions. We've been at this since 1970, challenging the conventions of traditional banking with smarter, faster,...

Join a Challenger At EQ, we're remaking banking so every Canadian gets ahead, every day. Serving nearly 4 million Canadians from coast to coast, we offer a wide variety of financial services from banking and lending, to trust and credit union solutions. We've been at this since 1970, challenging the conventions of traditional banking with smarter, faster,...

Application Deadline: 10/27/2026 Address: 100 King Street West Job Family Group: Data Analytics & Reporting Uses advanced analytical algorithms and technologies (e.g. machine learning, deep learning, artificial intelligence) to mine and analyze large sets of structured and unstructured data to obtain insights. Designs and constructs new processes for...