data mathematician

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — working at...

Who We Are 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...

Who We Are 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...

About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the most rigorous structures in mathematics? We're looking for Applied Formal Methods Researchers to translate advanced mathematical arguments into precise, machine-verifiable Lean 4 proofs — working at the very edge of what automated...

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 mathematicians and formal verification specialists to translate rigorous human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do today. This is a fully...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape how the world's most advanced AI systems reason, prove, and think? We're looking for Lean 4 Proof Engineers to translate rigorous mathematical arguments into machine-verifiable formalizations — working at the very frontier of...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical expertise could directly shape how AI reasons about formal proofs — pushing the frontier of what machines can understand and verify? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...

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...

About SandboxAQSandboxAQ is a high-growth company delivering AI solutions that address some of the world's greatest challenges. The company’s Large Quantitative Models (LQMs) power advances in life sciences, financial services, navigation, cybersecurity, and other sectors.We are a global team that is tech-focused and includes experts in AI, chemistry,...

STEM Graduate Teaching Assistant - Independent School | Surrey STEM Graduate Teaching Assistant Physics, Mathematics, Chemistry, Biology, Engineering & Computer Science Graduates Prestigious Independent School | Surrey Full-Time | Term-Time Only £550 - £600 Per Week Immediate Start Available Are you a high-achieving STEM graduate looking to gain...

About SandboxAQSandboxAQ is a high-growth company delivering AI solutions that address some of the world's greatest challenges. The company’s Large Quantitative Models (LQMs) power advances in life sciences, financial services, navigation, cybersecurity, and other sectors.We are a global team that is tech-focused and includes experts in AI, chemistry,...

High 5 Games is seeking an accounting professional to join our growing finance and accounting team in the role of a Financial Accountant. The Financial Accountant will be responsible for the recording of transactions in our general ledger, reconciliation and analysis of general ledger accounts and supporting financial schedules, assist with the preparation...

About SandboxAQ SandboxAQ is a high-growth company delivering AI solutions that address some of the world's greatest challenges. The company’s Large Quantitative Models (LQMs) power advances in life sciences, financial services, navigation, cybersecurity, and other sectors. We are a global team that is tech-focused and includes experts in AI, chemistry,...

Computational Statistics and Applied Mathematics Expert About the Project We're building a large-scale benchmark to test how well advanced AI systems can solve hard scientific and engineering problems. As a task designer, you'll create challenging computational problems that check whether AI can use real scientific software to do research-level work —...

Join to apply for the Event Specialist role at Heidi Get AI-powered advice on this job and more exclusive features. Direct message the job poster from Heidi Heidi is building an AI Care Partner that supports clinicians every step of the way, from documentation to delivery of care. We exist to double healthcare’s capacity while keeping care deeply...

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...

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...

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...

Data Annotation is looking for an experienced mathematician to design mathematical problems that today's leading AI models still get wrong. Models are fluent enough to produce an answer that looks right and a derivation that reads well.You bring the judgment to tell the difference between the two, and the tooling to prove it. This is a new and growing area...