data mathematician

The MissionA beautifully designed slot machine is completely useless if the underlying math engine doesn't grip the player. We aren't looking for an isolated academic or a passive spreadsheet clerk who just calculates basic probabilities. We need a "Volatility Architect" to design the mathematical heart of our iGaming ecosystem. Your job is to engineer the...

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

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

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for skilled mathematicians to translate rigorous human arguments into machine-verifiable Lean 4 formalizations — working at the very frontier of what proof assistants...

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 methods experts to work at the cutting edge of AI research — translating rigorous mathematical arguments into machine-verifiable Lean 4 formalizations, and helping map the frontier of...

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

Mathematics Researcher (Masters/PhDs) - AI Training About The Role What if your deep knowledge of mathematics could directly shape how AI reasons through the world's most complex problems? We're looking for Mathematics Researchers to help train and improve cutting-edge AI models — designing rigorous problems, evaluating solutions, and pushing AI...

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

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

Job SummaryThe position is embedded in the Catastrophe (Cat) Modeling department, which operates from Singapore, Toronto and Zurich. It is responsible for quantifying the company’s cat risk in close collaboration with the Cat Research, Portfolio Analytics and Tools & Technology departments. The Cat Modeling team supports risk transfer decisions founded on...

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

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

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

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

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