Mathematics Jobs in Canada — Search & Apply
today
51.
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
52.
Lean Proof Architect: Formalize Advanced Math
Job in
Vancouver, BC, Canada
Engineering (Mathematics), Education / Teaching (Mathematics)
A leading AI and mathematics firm in Metro Vancouver seeks a Mathematical Formalization Specialist to translate informal proofs into...
Lean Proof Architect: Formalize Advanced Math JobListing for: Alignerr |
today
53.
Formal Verification Scientist; Lean 4 & Mathlib
(Remote / Online) - Candidates ideally in
QC, Canada
IT/Tech (Mathematics, Machine Learning/ ML Engineer, AI Engineer, Data Scientist)
Position: Formal Verification Scientist (Lean 4 & Mathlib) - Location: Remote - Organization: Alignerr - Position: Formal...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr |
today
54.
Lean Formal Methods Researcher - Remote
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Research/Development (Mathematics, Data Scientist, Research Scientist)
Position: Lean 4 Formal Methods Researcher - Remote - A leading mathematical research organization is seeking an Applied Formal Methods...
Lean Formal Methods Researcher - Remote JobListing for: Alignerr |
today
55.
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
56.
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
57.
Applied Physics
(Remote / Online) - Candidates ideally in
Toronto, Ontario, 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
58.
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
59.
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
60.
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 |