Mathematics Jobs in Canada:
Search & Apply or Post Jobs for Free
today
1.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
IT/Tech (AI Engineer, Mathematics, Machine Learning/ ML Engineer, Data Scientist)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Overview - Location: - Remote - At Alignerr, we partner with the world’s...
Lean Proof Engineer - Mathematical Formalization JobListing for: Alignerr |
1 day ago
2.
Researcher - Lean 4 & Formal Proof Systems
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
IT/Tech (AI Engineer, Mathematics)
Overview - Location: - Remote - At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting -...
Researcher - Lean 4 & Formal Proof Systems JobListing for: Alignerr |
1 day ago
3.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
IT/Tech (Mathematics, AI Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - Overview - Location: - Remote. Alignerr partners with the world’s leading...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr |
1 day ago
4.
Mathematics Specialist - Fully Remote
(Remote / Online) - Candidates ideally in
QC, Canada
Research/Development (Mathematics, Data Scientist)
Position: Mathematics Specialist - Fully Remote | Upto $40/hr Hourly - About The Job - Mercor connects elite creative and technical...
Mathematics Specialist - Fully Remote JobListing for: Mercor |
1 day ago
5.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
IT/Tech (Mathematics, AI Engineer, Data Scientist, Machine Learning/ ML Engineer)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - Overview - Location: - Remote. Alignerr partners with the world’s leading...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr |
1 day ago
6.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Timmins, Ontario, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
SME Careers, a fast - growing AI data services company and subsidiary of Super Annotate, is seeking mathematicians to join our AI...
Remote Mathematics Specialist - AI Trainer JobListing for: SuperAnnotate |
1 day ago
7.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Kingston, Ontario, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
SME Careers, a fast - growing AI data services company and subsidiary of Super Annotate, is seeking mathematicians to join our AI...
Remote Mathematics Specialist - AI Trainer JobListing for: SuperAnnotate |
1 day ago
8.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Montérégie, Province de Québec, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
Location: Candiac - SME Careers, a fast - growing AI data services company and subsidiary of Super Annotate, is seeking mathematicians to...
Remote Mathematics Specialist - AI Trainer JobListing for: SuperAnnotate |
1 day ago
9.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Montréal, Province de Québec, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
Location: Blainville - SME Careers, a fast - growing AI data services company and subsidiary of Super Annotate, is seeking mathematicians...
Remote Mathematics Specialist - AI Trainer JobListing for: SuperAnnotate |
1 day ago
10.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Montréal, Province de Québec, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
Location: Drummondville - SME Careers, a fast - growing AI data services company and subsidiary of Super Annotate, is seeking...
Remote Mathematics Specialist - AI Trainer JobListing for: SuperAnnotate |