data mathematician

About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract...

Interested? Click Here to Apply TELUS Digital is seeking research-level mathematicians to contribute to an advanced mathematical reasoning benchmark for a leading AI research organisation. As a Complex Math Data Specialist, you will design a single original, research-level mathematical problem intended to probe the limits of current AI reasoning systems....

Mathematics Expert (AI Training) About The Role What if your years of graduate-level mathematics could directly shape how AI reasons through the most complex problems in the world? We're looking for Mathematics Experts — Masters and PhD holders — to help train cutting-edge AI models to think, reason, and solve problems the way the best mathematicians...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. This is a...

About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-checkable Lean 4 formalizations, working at the very frontier of AI research and...

BrainFinance is a leading financial technology company providing responsible and empowering credit solutions to consumers. We are redefining access to credit through our innovative technology, leveraging machine learning and automation to deliver smarter, simpler financial services. As a true innovation lab, our team brings together finance experts, data...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands-on Lean experience to formalize advanced mathematical arguments for cutting-edge AI research — translating human reasoning into precise, machine-verifiable knowledge. This is a fully...

Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical proofs into Lean 4 — working at the exact boundary where human mathematical...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI — by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and formal verification specialists to translate rigorous mathematical arguments into...

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. About The...

Healthcare needs a better rhythm: one that keeps care continuous and deeply human. Heidi is building an AI Care Partner that works alongside clinicians to make that possible. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73 million...

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding. The...

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding. The...

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicants Are you passionate about solving logical problems and working through challenging math? Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding....

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You'll create math problems, analyze model responses, and identify gaps in logic or understanding. The...