Mathematics Jobs in Canada — Search & Apply
2 days ago
21.
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
22.
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
23.
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
24.
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
25.
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
26.
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
27.
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
28.
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
29.
Senior actuarial analyst
Job in
Toronto, Ontario, Canada
Finance & Banking (Mathematics)
Education:Expérience:EducationBachelor's degreeTasksConduct research to extend mathematical knowledgeApply mathematical techniques to...
Senior actuarial analyst JobListing for: Northbridge Financial Corporation |
2 days ago
30.
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 |