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

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

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 Overview Remote contract for PhDs in Mathematics, Statistics, or related fields. Work on cutting-edge projects with top AI labs while earning upto $150/hr, fully remote, with flexible weekly hours. We seek mathematics researchers with advanced analytical skills to design, test, and refine math problem sets for evaluating and improving large language...

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

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

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

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

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

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

Secondary Mathematics TeacherPosition Type: Full-Time (1.0 FTE)Start Date: August 17, 2026Location: Calgary, AlbertaSalary: $54,000 – $88,000 annually (commensurate with experience and education) Position Overview:Banbury Crossroads School Authority is seeking a dynamic, compassionate, and versatile Secondary Mathematics Teacher for Grades 9–12, to...

Company Overview Pattern Energy is a leading renewable energy company that develops, constructs, owns, and operates high-quality wind and solar generation, transmission, and energy storage facilities. Our mission is to transition the world to renewable energy through the sustainable development and responsible operation of facilities with respect for the...

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

Select how often (in days) to receive an alert: Office Location:Ottawa (ON); Calgary (AB); Halifax (NS); Montreal (QC); Toronto (ON); Vancouver (BC) Travel Requirement:Limited Language Skill Levels (Read/Write/Speak):ZZZ Security Requirement: Secret Salary:Our salaries generally range from $104180.28to $130225.36and are based on qualifications and...

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

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

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