Mathematics Jobs in Canada — Search & Apply
1 week ago
41.
Remote Math Researcher AI Benchmarks; PhD
(Remote / Online) - Candidates ideally in
Sherbrooke, Province de Québec, Canada
Research/Development (AI Business & Operations, AI Evaluation, Mathematics, Data Scientist)
Position: Remote Math Researcher for AI Benchmarks (PhD) - A leading AI research accelerator is seeking PhD candidates in Mathematics or...
Remote Math Researcher AI Benchmarks; PhD JobListing for: Turing |
1 week ago
42.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Québec, Province de Québec, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
43.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Moncton, New Brunswick, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
44.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Edmonton, Alberta, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
45.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Vancouver, BC, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
46.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Montréal, Province de Québec, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
47.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Calgary, Alberta, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
48.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Mississauga, Ontario, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
49.
Formal Verification Scientist; Lean 4 & Mathlib
Job in
Toronto, Ontario, Canada
IT/Tech (AI Business & Operations, Mathematics, AI Evaluation, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - About - The Role - What if your deep mathematical training could...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr Corp. |
1 week ago
50.
Computational Statistics Expert - PhD
Job in
Toronto, Ontario, Canada
Research/Development (Data Scientist, Mathematics, Research Scientist)
Computational Statistics and Applied Mathematics Expert About the Project - We're building a large - scale benchmark to test how...
Computational Statistics Expert - PhD JobListing for: Mercor |