Mathematics Jobs — Search & Apply
today
361.
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 |
today
362.
Postdoctoral Math Associate
(Remote / Online) - Candidates ideally in
Canada
IT/Tech (Data Scientist, Mathematics, Machine Learning/ ML Engineer, Data Analyst)
We are looking for a Postdoctoral Math Associate to join our team to train AI models. You will measure the progress of these AI chatbots,...
Postdoctoral Math Associate JobListing for: DataAnnotation |
today
363.
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
364.
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
365.
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
366.
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
367.
Head of Quant Risk Research
Job in
Riverside, Connecticut, USA
Finance & Banking (Data Scientist, Mathematics)
Location: Riverside - Job Overview - A quant hedge fund is currently seeking their first Head of Quantitative Risk Research to join the...
Head of Quant Risk Research JobListing for: U.S. Bankruptcy Court - District of CT |
today
368.
Math & Python AI Validation Specialist
Job in
Montréal, Province de Québec, Canada
IT/Tech (Mathematics, Data Analyst, Data Scientist, AI Engineer)
Location: Montreal - A leading AI project - based company is seeking mathematicians for part - time project opportunities. You will...
Math & Python AI Validation Specialist JobListing for: Mindrift |
today
369.
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
370.
Summer Undergraduate Applied Math & Physics Intern
Job in
Los Alamos, New Mexico, USA
Engineering (Mathematics), Education / Teaching (Data Scientist, Mathematics)
A prominent research institution in Los Alamos, NM seeks undergraduate students for a research opportunity in the Theoretical Division....
Summer Undergraduate Applied Math & Physics Intern JobListing for: Los Alamos National Security LLC |