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

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

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

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

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

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

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

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

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

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

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

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

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

Job Description What is the opportunity? As part of the Group Risk Management (GRM) team, the Senior Analyst, Enterprise Model Risk Management will validate (replicate, benchmark, back- test, and apply other techniques as applicable) credit-related capital markets models (pricing used for financial and regulatory reporting for RBC trading activities. The...

Job Description What is the opportunity? As part of the Group Risk Management (GRM) team, the Senior Analyst, Enterprise Model Risk Management will validate (replicate, benchmark, back- test, and apply other techniques as applicable) credit-related capital markets models (pricing used for financial and regulatory reporting for RBC trading activities. The...

Mathematics Expert (AI Training) About The Role What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world? We're looking for Mathematics Experts — Masters and PhD holders — to help train cutting-edge AI models to think, reason, and solve problems the way the best mathematicians...

This Job is based in Australia One of Australia’s leading research & teaching universities Vibrant campus life with a strong sense of community & inclusion Enjoy a career that makes a difference by collaborating & learning from the best At UNSW, we pride ourselves on being a workplace where the best people come to do their best work. THIS ROLE IS...

We are. At Synechron, we believe in the power of digital to transform businesses for the better. Our global consulting firm combines creativity and innovative technology to deliver industry-leading digital solutions. Synechron’s progressive technologies and optimization strategies span end-to-end Artificial Intelligence, Consulting, Digital, Cloud &...