Mathematician jobs in Quebec

Join to apply for the Remote Sr. Game Mathematician/Mathématicien(ne) IV role at Bluberi 1 week ago Be among the first 25 applicants Bluberi Values - We Are the New School - Clarity and Transparency - Find It, Fix It, Own It - Standard Operating Success - Easiest Company to do Business With - It’s a Team Sport - Celebrate Wins, But Never Be Satisfied About The Company Welcome to Bluberi,...

We are looking for a passionate GAME MATHEMATICIAN to join our math team. Primary responsibilities of this position include developing math models for slot machines, producing and maintaining PAR sheets, playtesting games in development, all while maintaining a laser focus on creating the best possible player experience. Slot Math has no secrets for you. You love great Slot Games and the...

Develops and maintains core surfacing functionality, including geometric constraint solvers and cloud services, for automotive and industrial design software.

Join to apply for the Game Developer role at DataAnnotation .We are looking for a mathematician with an advanced degree to join our team to train AI models. You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the quality of each model.In this role, you will need to hold an expert level of mathematical reasoning— a completed or in-progress...

Senior ML Research Scientist (probabilistic inference) Join to apply for the Senior ML Research Scientist (probabilistic inference) role at LawZero Continue with Google Continue with Google Senior ML Research Scientist (probabilistic inference) 2 weeks ago Be among the first 25 applicants Join to apply for the Senior ML Research Scientist (probabilistic inference) role at LawZero Get...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation. Role Overview We are seeking a...

Applied Formal Methods Researcher (Lean 4) This is an hourly contract position at Alignerr, a company that partners with AI research labs to build and train cutting‑edge AI models. The role is remote and requires 10–40 hours per week, with compensation ranging from $70 to $150 per hour. Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on...

Pure Mathematics Specialist – Freelance AI Trainer Project Are you a theoretical mathematics expert eager to shape the future of AI? Large-scale language models are rapidly advancing, and their ability to handle rigorous proof-based reasoning depends on high-quality mathematical training data. With your advanced expertise, tomorrow’s AI can better understand abstraction, logic, measure theory,...

Join to apply for the HR Coordinator [Canada] role at High 5 Games. Job Summary: High 5 Games is seeking a detail‑oriented and proactive HR Coordinator to support day‑to‑day HR operations across our Latin America workforce. This role will partner closely with the HR Manager to ensure smooth execution of HR processes, employee lifecycle activities, and compliance. Recruitment support is a plus,...

1 day ago Be among the first 25 applicants Are 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 goal is to measure how well these...

Mathematical Formalization Specialist - Remote Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high-integrity dataset creation. Base pay range: $50.00/hr - $150.00/hr Role Overview We are seeking a...

Software Engineer to work on geometric modeling and surfacing software, enhancing constraint solvers and related technologies for automotive and industrial design applications.

We are looking for a passionate GAME MATHEMATICIAN to join our math team. Primary responsibilities of this position include developing math models for slot machines, producing and maintaining PAR sheets, playtesting games in development, all while maintaining a laser focus on creating the best possible player experience. Slot Math has no secrets for you. You love great Slot Games and the...

We are seeking a Senior Machine Learning (ML) Research Scientist to join our team working on a novel AI safety agenda. In this role, you will design and implement innovative ML models aimed at solving advanced AI safety problems. Key responsibilities - Propose, design, and implement novel ML models tailored to solve complex AI safety problems. - Collaborate with mathematicians and other...

A leading gaming company is looking for a Remote Sr. Game Mathematician to provide creative leadership in developing engaging casino games. The ideal candidate should possess a strong foundation in mathematics and game development with a minimum of 5 years of experience. Responsibilities include creating and reviewing game mathematics, developing tools for innovative mechanics, and collaborating...

Overview We are looking for an advanced mathematician with an advanced degree to join our team to train AI models. You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the quality of each model. In this role you will need to hold an expert level of mathematical reasoning. Other related fields include, but are not limited to: Applied Math and/or...

Overview At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern proof assistants. Organization: Alignerr Position: Formal Verification Scientist...

Join to apply for the Senior ML Research Scientist role at LawZero Join to apply for the Senior ML Research Scientist role at LawZero We are seeking a Senior Machine Learning (ML) Research Scientist to join our team working on a novel AI safety agenda. In this role, you will design and implement innovative ML models aimed at solving advanced AI safety problems. Key responsibilities -...

Researcher – Lean 4 & Formal Proof Systems Join to apply for the Researcher – Lean 4 & Formal Proof Systems role at Alignerr. Base pay range $70.00/hr – $150.00/hr Location Remote Employment type Hourly Contract (10‑40 h/week) Role Overview We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean....

Senior ML Research Scientist (probabilistic inference) Montreal We are seeking a senior machine learning (ML) researcher to join our team working on a novel AI safety research agenda. In this role, you will develop and evaluate probabilistic inference methods, with a focus on amortized inference, translating theoretical insights into practical implementations. Key responsibilities - Develop...