mathematical modelling

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role 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...

About Turing: Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems. Turing supports customers in two ways: first, by accelerating frontier research with high-quality data, advanced training pipelines, plus top AI researchers who...

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

Senior School Mathematics Teacher School Overview St. John’s School (SJS) is a leading independent, all-gender IB World School in Vancouver, Canada, offering the Primary Years Programme (PYP), Middle Years Programme (MYP), and Diploma Programme (DP) across Kindergarten to Grade 12. SJS is committed to providing an enriching and rigorous education that...

Mathematics Specialist (Masters/PhDs) - AI Training About The Role What if your expertise in mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Specialists with advanced degrees to help train and evaluate cutting-edge AI models — crafting rigorous problems, stress-testing AI reasoning,...

It is acknowledged that Central Okanagan Public Schools operates within the unceded, Traditional Territory of the Okanagan syilx peoples.  The School District enrolls over 25,000 students (including approximately 3,200 students who self-identify as having First Nations, Metis, and/or Inuit ancestry from Canada).  Central Okanagan Public Schools is located...

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

Company Description Step By Step Tutoring is a personalized tutoring business that helps learners build confidence and improve grades through clear, structured guidance. The team focuses on breaking down complex concepts into simple, easy-to-understand lessons tailored to each student’s learning style. The environment is supportive, encouraging questions...

Role: Mathematics Expert (Remote) Location: Remote (Work from Anywhere) Job Type: Part-Time Payout: Competitive, based on experience Role Overview: We are hiring for one of our clients, seeking a Mathematics Expert (Master’s/Ph.D.) to work on a part-time basis. In this role, you will work on projects that improve and evaluate large language models by...

Applications are invited for the position of: Teacher at Niton Central School Position : Teacher, Probationary: Technology, Mathematics & Sciences  Location : Niton Central School - Niton Junction, AB https://nitoncentralschool.gypsd.ca/   Start Date : September 1, 2026, or upon mutually agreeable start date until June 29, 2027.  Hours of Work...

Frontier AI companies are throwing billions of dollars into scaling existing architectures and methods such as next-token-prediction, direct preference optimization (DPO), reinforcement learning with human feedback (RLHF), and reinforcement learning with verified rewards (RLVR). These methods are very powerful, yet fundamentally flawed, resulting in...

Venture outside the ordinary - TMX CareersThe TMX group of companies includes leading global exchanges such as the Toronto Stock Exchange, Montreal Exchange, and numerous innovative organizations enhancing capital markets.  United as a global team, we’re connecting cross-functionally, traversing industries and geographies, moving opportunity into action,...

Job DescriptionGlobal Risk Analytics (GRA) is the center of expertise for models used in risk management, covering market risk, counterparty credit risk, and emerging risk. The GRA Climate Risk Modelling and Model Governance team is responsible for the conceptualization, design, implementation, and maintenance of both physical and transition climate risk...

Looking to join a growing financial services team? Rogers Bank, a subsidiary of Canada's leading wireless, cable and media company, is expanding and seeking passionate individuals to develop and implement innovative financial solutions and experiences. The bank offers unique cash-back benefits and financing options for Rogers purchases using cutting-edge...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape how the world's most advanced AI systems reason, prove, and think? We're looking for Lean 4 Proof Engineers to translate rigorous mathematical arguments into machine-verifiable formalizations — working at the very frontier of...

OVERVIEW The CCR Model Validation Consultant will play a critical role in validating Counterparty Credit Risk (CCR) models and assessing model risk to ensure their appropriateness, robustness, and fitness for use within the CCR Replacement Project portfolio. This position involves providing independent and effective challenge throughout the model...

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

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

What’s in it for you as an employee of Flexiti? Health & wellbeing resources and programs  Paid vacation, personal, and sick days for work-life balance Competitive compensation and benefits packages Work-life balance in a hybrid environment with at least 3 days in office Career growth and development opportunities  Opportunities to contribute...

Job Description Global Risk Analytics (GRA) is the center of expertise for models used in risk management, covering market risk, counterparty credit risk, and emerging risk. The GRA Climate Risk Modelling and Model Governance team is responsible for the conceptualization, design, implementation, and maintenance of both physical and transition climate risk...