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

Job description ORMAE is looking for Operations Research Scientist / Sr. Operations Research Scientist preferably from Product development / consulting experience in OR and optimization Who we are: - ORAME is a successful AI & Optimization Company founded and headed by Guinness World Record Holder Dr. Amit Garg an IIT Delhi Graduate who has won medals for...

About QiCAP.Ai QiCAP.Ai is a quantitative investment and trading firm that captures opportunities across asset classes in global markets using high-frequency trading systems and strategies. Our team of engineers, researchers and mathematicians from the top IITs and leading global institutions builds ultra-low-latency trading and simulation systems powered...

Mathematics Researcher (Masters/PhDs) - AI Training About The Role What if your deep knowledge of mathematics could directly shape how AI reasons through the hardest problems in science, engineering, and beyond? We're looking for Mathematics Researchers to help build and refine the reasoning capabilities of cutting-edge AI models — crafting challenging...

About The Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — working at the exact boundary where human mathematical intuition meets machine-verifiable logic. This is a fully...

Researcher — Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn? 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 reasons, proves, and understands the most complex ideas in human knowledge? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — helping map the frontier of what machines can verify, and building the foundation for the...

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 proof? We're looking for mathematicians and formal verification specialists to translate sophisticated human-written proofs into machine-verifiable Lean 4 formalizations —...

Company DescriptionAt Bosch Research, research meets application. Around 1,700 experts around the world develop the technologies of tomorrow and beyond. The world in which we live is changing rapidly. Global megatrends such as climate change and digitalization influence virtually every area of day-to-day life. One thing that doesn’t change is Bosch’s...

MUSTPostgraduate degree in Mechanical Engineering / Aerospace Engineering / Applied Mechanicsfrom Tier 1 or equivalent institutions.Applied mathematician and CFD specialist with 5–10 years of experience in developing, implementing, and optimizing mathematical models and simulations.Skilled in translating complex research problems into practical solutions...

MUSTPostgraduate degree in Mechanical Engineering / Aerospace Engineering / Applied Mechanicsfrom Tier 1 or equivalent institutions.Applied mathematician and CFD specialist with 5-10 years of experience in developing, implementing, and optimizing mathematical models and simulations.Skilled in translating complex research problems into practical solutions for...

Building a new company in the recession of 2007 was no ordinary task. Yet with passion and foresight, we charted our course, helping to transform the way consumers engage with their phones. Over the last 17 years, InMobi has built a global Advertising Platform that powers our customers growth by helping them engage their audiences and drive real connections....

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 about formal logic and proof? We're looking for Lean 4 Proof Engineers to translate complex, human-written mathematical arguments into precise, machine-verifiable formalizations —...

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 mathematics into machine-verifiable Lean 4 proofs — working at the intersection of rigorous mathematics and cutting-edge AI research. This is a fully remote,...

Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About The Role What if your deep mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Lean 4 Proof Engineers to translate advanced mathematical arguments into machine-verifiable formalizations — working at the absolute frontier...

ABOUT:Brainpan Innovations brings together an interdisciplinary team of computational scientists, computer scientists, designers, engineers, mathematicians, and medical professionals; who are working to address various challenges in the healthcare industry for developing economies. There is a huge gap between Life Sciences and other research disciplines. We...

Are you a mathematics expert eager to shape the future of AI? Large‑scale language models are evolving from clever chatbots into powerful engines of scientific discovery. With high‑quality training data, tomorrow’s AI can democratize world‑class education, keep pace with cutting‑edge research, and streamline problem-solving for mathematicians...

The Seller Fee Science Team integrates economic modeling, machine learning, and artificial intelligence to guide fee strategy, quantify its impact, and ensure fees are accurately computed and explained for billions of transactions between Amazon selling partners and customers. We help build the foundations for growing selling partner businesses, bringing the...

ABOUT:Brainpan Innovations brings together an interdisciplinary team of computational scientists, computer scientists, designers, engineers, mathematicians, and medical professionals; who are working to address various challenges in the healthcare industry for developing economies. There is a huge gap between Life Sciences and other research disciplines. We...

ABOUT:Brainpan Innovations brings together an interdisciplinary team of computational scientists, computer scientists, designers, engineers, mathematicians, and medical professionals; who are working to address various challenges in the healthcare industry for developing economies. There is a huge gap between Life Sciences and other research disciplines. We...