3 mathematician opportunities in Toronto updated today
job offers found
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 hands-on experience in formal proof systems to tackle problems that sit beyond the reach of au
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
Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn in
$44,000 – $70,000/year
Estimation confidence: Low
Estimate based on market data for Toronto. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for mathematician jobs in other cities in Canada
Explore other job opportunities in Toronto
