Mathematics Jobs in Canada — Search & Apply
1 week ago
61.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
Engineering (AI Engineer, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer - Mathematical Formalization - Join to apply for...
Lean Proof Engineer - Mathematical Formalization JobListing for: Alignerr |
1 week ago
62.
Physics Expert; Masters/PhDs
Job in
Toronto, Ontario, Canada
Research/Development (Research Scientist, Mathematics)
Position: Physics Expert (Masters/PhDs) - Physics Expert (Masters/PhDs) - Mercor is seeking Physics PhDs for a premier project with one...
Physics Expert; Masters/PhDs JobListing for: Mercor |
1 week ago
63.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
Engineering (AI Engineer, Mathematics)
Position: Lean 4 Proof Engineer - Mathematical Formalization - Lean 4 Proof Engineer - Mathematical Formalization - Join to apply for...
Lean Proof Engineer - Mathematical Formalization JobListing for: Alignerr |
1 week ago
64.
Lean Proof Engineer - Mathematical Formalization
(Remote / Online) - Candidates ideally in
Toronto, Ontario, Canada
Engineering (AI Engineer, Mathematics)
Lean 4 Proof Engineer - Mathematical Formalization - Join to apply for the Lean 4 Proof Engineer - Mathematical Formalization role at...
Lean Proof Engineer - Mathematical Formalization JobListing for: Alignerr |
1 week ago
65.
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) - Formal Verification Scientist (Lean 4 & Mathlib) - Alignerr is...
Formal Verification Scientist; Lean 4 & Mathlib JobListing for: Alignerr |
1 week ago
66.
Researcher - Lean 4 & Formal Proof Systems
(Remote / Online) - Candidates ideally in
Vancouver, BC, Canada
Science (Mathematics, Data Scientist)
Overview - Researcher - Lean 4 & Formal Proof Systems s role focuses on writing and formalizing advanced mathematical proofs in Lean...
Researcher - Lean 4 & Formal Proof Systems JobListing for: Alignerr |
1 week ago
67.
Bilingual Administrative Assistant
(Remote / Online) - Candidates ideally in
Canada
IT/Tech (Data Scientist, Mathematics, AI Engineer, Machine Learning/ ML Engineer)
Overview - Join to apply for the Teacher of Mathematics role at Data Annotation - We are looking for a Teacher of Mathematics to join our...
Bilingual Administrative Assistant JobListing for: DataAnnotation |
1 week ago
68.
Remote AI Research Assistant: Math Model Evaluation
(Remote / Online) - Candidates ideally in
Canada
IT/Tech (AI Engineer, Data Scientist, Mathematics)
Position: Remote AI Research Assistant: Math for Model Evaluation - A leading AI training company is seeking an Academic Research...
Remote AI Research Assistant: Math Model Evaluation JobListing for: DataAnnotation |
1 week ago
69.
Postdoctoral Fellow Sessional Instructors: Department of Mathematics and Statistics
Job in
Calgary, Alberta, Canada
Engineering (Mathematics)
Postdoctoral Fellow Sessional Instructors: - Department of Mathematics and Statistics - The Department of Mathematics & Statistics in...
Postdoctoral Fellow Sessional Instructors: Department of Mathematics and Statistics JobListing for: University of Calgary |
1 week ago
70.
Mathematics Instructor
(Remote / Online) - Candidates ideally in
Canada
IT/Tech (Data Scientist, Mathematics, AI Engineer, Machine Learning/ ML Engineer)
Join to apply for the Mathematics Instructor role at Data Annotation - . - We are looking for a Mathematics Instructor to join our team...
Mathematics Instructor JobListing for: DataAnnotation |