Mathematician jobs in Vancouver, BC

Found 21 jobs
Sort by:

Remote Sr. Game Mathematician/Mathématicien(ne) IV

Bluberi
Vancouver

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

View salary & More Info
3 hours ago

Game Mathematician (Slot Games)

PearFiction Studios Inc.
Vancouver

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

View salary & More Info
3 hours ago
Remote

Applied Formal Methods Researcher (Lean 4)

Alignerr
Vancouver

Applied Formal Methods Researcher (Lean 4) Alignerr partners with leading AI research teams to build cutting‑edge models. Role Overview – We seek mathematicians with rigorous proof training and hands‑on Lean experience to translate informal mathematical arguments into precise, machine‑verifiable formalizations. What You’ll Do - Translate informal proofs into Lean with clarity, structure, and...

View salary & More Info
3 hours ago

Mathematical Formalization Specialist - Remote

Labelbox
Vancouver

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

View salary & More Info
4 days ago
Hybrid

Account Executive - Apply

Darktrace
Vancouver

Founded by mathematicians and cyber defense experts in 2013, Darktrace is a global leader in cyber security AI, delivering complete AI-powered solutions in its mission to free the world of cyber disruption. We protect more than 9,000 customers from the world’s most complex threats, including ransomware, cloud, and SaaS attacks. Our roots lie deep in innovation. The Darktrace AI Research Centre...

View salary & More Info
2 days ago

Mathematical Formalization Specialist - Remote - Apply

labelbox
Vancouver

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

View salary & More Info
6 days ago
No Experience

Pure Mathematics Specialist – Freelance AI Trainer Project

Meridial Marketplace, by Invisible
Vancouver

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

View salary & More Info
3 hours ago
Remote

HR Coordinator [Canada]

High 5 Games
Vancouver

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

View salary & More Info
3 hours ago
No Experience Remote

Remote Maths Researcher (PhD) - 34877

Turing
Vancouver

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

View salary & More Info
3 hours ago
No Experience Remote

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr
Vancouver

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

View salary & More Info
19 hours ago

Mathematical Formalization Specialist - Remote

Labelbox
Vancouver

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

View salary & More Info
3 hours ago

Remote Senior Game Mathematician IV - Lead & Model

Bluberi
Vancouver

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

View salary & More Info
3 hours ago

Mathematical Formalization Specialist - Remote

Alignerr
Vancouver

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

View salary & More Info
19 hours ago
Remote

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr
Vancouver

Lean 4 Proof Engineer - Mathematical Formalization Apply for the Lean 4 Proof Engineer - Mathematical Formalization role at Alignerr . Base Pay Range - $70.00/hr - $150.00/hr Location - Remote Role Overview - We seek mathematicians with deep training in rigorous proof construction and hands‑on experience with formal proof languages, especially Lean. - You will work on proofs that often...

View salary & More Info
3 days ago
No Experience Remote

Researcher - Lean 4 & Formal Proof Systems

Alignerr
Vancouver

Overview Researcher - Lean 4 & Formal Proof Systems at Alignerr. This role focuses on writing and formalizing 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. Location: Remote. Type: Hourly Contract. Commitment: 10–40 hours/week. Base pay range: $70.00/hr –...

View salary & More Info
9 hours ago
Alert me to new jobs like Mathematician, Vancouver
By continuing to use the website, I agree to the Terms of Use and Privacy Policy. You can tune your job alerts or unsubscribe at any time.
Remote

Applied Formal Methods Researcher (Lean 4)

Alignerr
Vancouver

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

View salary & More Info
3 hours ago
No Experience Remote

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr
Vancouver

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

View salary & More Info
3 hours ago
Remote

Researcher - Lean 4 & Formal Proof Systems

Alignerr
Vancouver

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

View salary & More Info
3 hours ago

Mathematical Formalization Specialist - Remote

Alignerr
Vancouver

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

View salary & More Info
3 hours ago
No Experience Remote

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr
Vancouver

Lean 4 Proof Engineer - Mathematical Formalization About the role: At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. You will write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. This role is ideal for mathematicians passionate about formal verification and pushing the limits of modern proof...

View salary & More Info
3 hours ago
The Jobsora algorithm selects vacancies which is based on the parameters you set: position, location, salary level, type of vacancy, etc.
The more parameters you specify, the more precisely, the algorithm will select vacancies for you.
We recommend you to specify such minimum search refinements:
• Job title or company name
Menu