Mathematics Jobs in Canada — Search & Apply
2 days ago
51.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
QC, 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 |
2 days ago
52.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
IT/Tech (AI Engineer, Mathematics)
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 |
2 days ago
53.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
Toronto, Ontario, 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 |
2 days ago
54.
Applied Physics Specialist - AI Content Evaluator
(Remote / Online) - Candidates ideally in
QC, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics)
About The Job - At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting - edge AI models....
Applied Physics Specialist - AI Content Evaluator JobListing for: Alignerr |
2 days ago
55.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
QC, 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 |
2 days ago
56.
Applied Physics Specialist - AI Content Evaluator
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics)
About The Job - At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting - edge AI models....
Applied Physics Specialist - AI Content Evaluator JobListing for: Alignerr |
2 days ago
57.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Vancouver, BC, 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 |
2 days ago
58.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
Toronto, Ontario, 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 |
2 days ago
59.
Postdoc Fellow: Quantum Field Theory & Computing
Job in
Calgary, Alberta, Canada
Research/Development (Research Scientist, Postdoctoral Research Fellow, Artificial Intelligence, Mathematics)
A leading research university in Canada is seeking Postdoctoral Research Fellows to join the Quantum Horizons Alberta initiative. The...
Postdoc Fellow: Quantum Field Theory & Computing JobListing for: University of Calgary |
2 days ago
60.
Remote Mathematics Specialist - AI Trainer
(Remote / Online) - Candidates ideally in
Prince George, BC, Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics, Artificial Intelligence)
Location: Quesnel - 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 |