Mathematics Jobs in Canada — Search & Apply
today
21.
Mathematical Formalization Specialist
Job in
Vancouver, BC, Canada
IT/Tech (Mathematics, AI Engineer, Machine Learning/ ML Engineer, Data Scientist)
Mathematical Formalization Specialist (Lean / Formal Proof Systems) - About Alignerr - Alignerr partners with leading AI labs to build...
Mathematical Formalization Specialist JobListing for: Alignerr |
today
22.
Remote Lean Proof Engineer: Formalize Advanced Math
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
Engineering (Mathematics)
Position: Remote Lean 4 Proof Engineer: Formalize Advanced Math - A leading AI research collaboration partner is seeking a Lean 4 Proof...
Remote Lean Proof Engineer: Formalize Advanced Math JobListing for: Alignerr |
today
23.
Researcher - Lean 4 & Formal Proof Systems
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
IT/Tech (AI Engineer, Mathematics, Machine Learning/ ML Engineer, Data Scientist)
Location: - Remote. About the job. - At Alignerr, we partner with the world’s leading AI research teams and labs to build and train...
Researcher - Lean 4 & Formal Proof Systems JobListing for: Alignerr |
today
24.
Remote Mathematics Expert AI Research; PhD/MS
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Research/Development (Mathematics, Data Scientist)
Position: Remote Mathematics Expert for AI Research (PhD/MS) - A leading AI research firm seeks a Mathematics Expert for a remote...
Remote Mathematics Expert AI Research; PhD/MS JobListing for: Alignerr |
today
25.
Mathematics Expert; Masters/PhDs
Job in
Vancouver, BC, Canada
Science (Mathematics, Research Scientist, Data Scientist)
Position: Mathematics Expert (Masters/PhDs) - Mathematics Expert - $90/hr Remote - Alignerr - Location: Remote - About The Job - At...
Mathematics Expert; Masters/PhDs JobListing for: Alignerr |
today
26.
Remote Mathematics Expert AI Research; PhD/MS
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Research/Development (Mathematics, Data Scientist, Research Scientist, Artificial Intelligence)
Position: Remote Mathematics Expert for AI Research (PhD/MS) - A leading AI research partner is seeking a Mathematics Expert to develop...
Remote Mathematics Expert AI Research; PhD/MS JobListing for: Alignerr |
today
27.
Applied Physics
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Science (Data Scientist, Physics, 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 JobListing for: Alignerr |
today
28.
Researcher - Lean 4 & Formal Proof Systems
(Remote / Online) - Candidates ideally in
QC, Canada
IT/Tech (AI Engineer, Mathematics, Machine Learning/ ML Engineer, Data Scientist)
Location: - Remote. About the job. - At Alignerr, we partner with the world’s leading AI research teams and labs to build and train...
Researcher - Lean 4 & Formal Proof Systems JobListing for: Alignerr |
today
29.
Applied Formal Methods Researcher; Lean
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Science (Mathematics, Data Scientist)
Position: Applied Formal Methods Researcher (Lean 4) - Location - Remote - Organization - Alignerr - Position - Applied Formal Methods...
Applied Formal Methods Researcher; Lean JobListing for: Alignerr |
today
30.
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 |