Mathematician jobs in Ontario

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

Lean 4 Proof Engineer - Mathematical Formalization Join to apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr. Base pay range $70.00/hr - $150.00/hr - Organization: Alignerr - Position: Lean 4 Proof Engineer - Mathematical Formalization - Type: Hourly Contract - Compensation: $70–$150 /hour - Location: Remote - Commitment: 10–40 hours/week About The Job At...

Head of Studio - Slot Machine Games Job Summary We seek an experienced and talented professional to join our team as the Head of Studio for Slot Machine Games. As the Head of Studio, you will oversee the development and production of high-quality and engaging slot machine games. This role requires substantial experience in the slot machine gaming industry, including expertise in game design,...

Mathematical Formalization Specialist (Lean / Formal Proof Systems)About AlignerrAlignerr 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 OverviewWe are seeking a mathematician with...

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

Location Toronto Employment Type Contract Location Type Hybrid Department Marketing Who are Heidi? Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. We exist to double healthcare’s capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported...

Who are Heidi? Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. Founded by clinicians, we bring together clinicians, engineers, designers, scientists, creatives, and mathematicians, working with a shared purpose: to strengthen the human connection at the heart of healthcare. Backed by nearly $100 million in total...

Join to apply for the Senior FIPS Tester III Entropy - Ottawa, ON role at Intertek The position may be Hybrid or Remote based on candidate geographical location. Job Description Intertek EWA is looking for a Senior FIPS Tester III Entropy to join our team in Ottawa, ON. Job Overview Intertek EWA‑Canada is searching for a Senior FIPS Tester III Entropy with experience in entropy source...

Who are Heidi? Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. We exist to double healthcare’s capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73 million patient visits. Today, more than two million patient visits each week are...

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

Peter Taylor Professorship in the Department of Mathematics and Statistics The Department of Mathematics and Statistics at Queen’s University invites applications for the Peter Taylor Professorship at the rank of Assistant Professor (tenure-track) or Associate Professor (tenured) in any area of the Mathematical Sciences, with a preferred starting date of July 1, 2026.QualificationsAccomplished...

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

Formal Verification Scientist (Lean 4 & Mathlib)Alignerr is seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise, machine‑verifiable formalizations.Base pay...

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

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

Mathematical Formalization Specialist - RemoteJoin to apply for the Mathematical Formalization Specialist - Remote role at AlignerrBase pay range$50.00/hr - $150.00/hrRole OverviewWe are seeking a mathematician with deep training in rigorous proof construction and hands‑on experience with formal proof languages—especially Lean . This role sits at the intersection of mathematics and computer...

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

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

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