research mathematician

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

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

AlphaGrep Securities Private Limited is a quantitative trading firm focused on algorithmic trading in asset classes across the globe. We have offices in Mumbai, Bangalore, Gurgaon, Singapore, Dubai, Shanghai and London. We are one of the largest firms by trading volume on Indian exchanges and have significant market share on several large global exchanges...

AlphaGrep Securities Private Limited is a quantitative trading firm focused on algorithmic trading in asset classes across the globe. We have offices in Mumbai, Bangalore, Gurgaon, Singapore, Dubai, Shanghai and London. We are one of the largest firms by trading volume on Indian exchanges and have significant market share on several large global exchanges...

Job Description:   Job description 19.11.24   HPS/2024/712 BSC/MSC Fresher Male 1 0 to 1 BSC/MSC Roles and Responsibilities     BSC or MSC degree can vary depending on the field, but may include: Regulatory department Preparing certificates of analysis, technical data sheets, and stability data      Purchase...

**JOB DESCRIPTION** **Position: IKS Educator / Indian Knowledge Systems Teacher** **Institution:** MAEER's MIT Pune's Vishwashanti Gurukul, Pandharpur **Location:** Pandharpur, Maharashtra **Employment Type:** Full-Time **Nature of Institution:** Co-educational Residential School **1. About the Position** We are looking for a passionate,...

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

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

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

About The Role Data scientist with strong background in data mining, machine learning, recommendation systems, and statistics. Should possess signature strengths of a qualified mathematician with ability to apply concepts of Mathematics, Applied Statistics, with specialization in one or more of NLP, Computer Vision, Speech, Data mining to develop models...

About the role Data scientist with strong background in data mining, machine learning, recommendation systems, and statistics. Should possess signature strengths of a qualified mathematician with ability to apply concepts of Mathematics, Applied Statistics, with specialization in one or more of NLP, Computer Vision, Speech, Data mining to develop models...

About the College: JKKN College of Pharmacy is a leading institution that provides a comprehensive range of programs and services in the field of pharmacy. The College is committed to delivering high-quality education and promoting innovation in the field of pharmaceutical sciences.Job Description: The professor Mathematician/Statistician in the Department...

Glance Glance is an intelligent shopping agent, redefining the commerce experience. Powered by proprietary agentic intelligence and generative AI, Glance delivers a hyper-personalized consumer experience across mobile and TV — shaping the new era of shopping. Glance is operated by Glance InMobi Pte. Ltd., a non-consolidated subsidiary of global technology...

Glance Glance is an intelligent shopping agent, redefining the commerce experience. Powered by proprietary agentic intelligence and generative AI, Glance delivers a hyper-personalized consumer experience across mobile and TV — shaping the new era of shopping. Glance is operated by Glance InMobi Pte. Ltd., a non-consolidated subsidiary of global technology...

Glance Glance is an intelligent shopping agent, redefining the commerce experience. Powered by proprietary agentic intelligence and generative AI, Glance delivers a hyper-personalized consumer experience across mobile and TV — shaping the new era of shopping. Glance is operated by Glance InMobi Pte. Ltd., a non-consolidated subsidiary of global technology...

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

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

SME Careers, a fast-growing AI data services company and subsidiary of SuperAnnotate, is seeking mathematicians to join our AI training project. In this role, you will review AI-generated responses, evaluate the reasoning quality and step-by-step problem-solving, and provide expert feedback that helps models produce answers that are accurate, logical, and...

InMobi (Corporate) InMobi Group is a global technology company shaping the future of agentic commerce and advertising. Through its ecosystem of businesses — including InMobi Advertising and flagship consumer platform Glance — InMobi leverages data, machine learning, and generative AI to help brands reach audiences more precisely and consumers discover...