3 mathematician opportunities in Oberlin updated today
job offers found
About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems — especially Lean — to tackle problems that sit beyond the reach of automated tools. This is a fully remote, flexi
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your mathematical expertise could directly shape the future of AI reasoning? We're looking for mathematicians with formal proof experience to translate advanced mathematical arguments into machine-verifiable L
About the Opportunity: Snorkel AI is a data development company spun out of the Stanford AI Lab, focused on improving the truthfulness and reasoning abilities of advanced AI systems. This ongoing project based opportunity to become an expert contributor will allow you to help shape the next generati
$40,000 – $63,000/year
Estimation confidence: Low
Estimate based on market data for Oberlin. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for mathematician jobs in other cities in United States
Explore other job opportunities in Oberlin
