Jobs for mathematician at Montreal

Obsidian invites expert mathematicians to author and review high-quality academic assessment content for an AI research initiative. You will write and verify rigorous multiple-choice questions across core mathematics domains, evaluate solution quality, and help establish gold-standard benchmarks used to advance AI capabilities.You will be assigned one of two...

Obsidian invites expert mathematicians to author and review high-quality academic assessment content for an AI research initiative. You will write and verify rigorous multiple-choice questions across core mathematics domains, evaluate solution quality, and help establish gold-standard benchmarks used to advance AI capabilities.You will be assigned one of two...

Contribute to transformative AI research at LawZero as a Machine Learning Research Scientist. Your role will center on developing advanced probabilistic inference methods to enhance AI safety measures. We are seeking a dedicated ML Research Scientist to support our innovative AI safety research. This position demands expertise in statistical methods and a...

Obsidian invites expert mathematicians to author and review high-quality academic assessment content for an AI research initiative. You will write and verify rigorous multiple-choice questions across core mathematics domains, evaluate solution quality, and help establish gold-standard benchmarks used to advance AI capabilities. You will be assigned one of...

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

Join LawZero as a Machine Learning Research Scientist and drive innovative AI safety research. Your expertise in probabilistic inference will be key in translating theoretical insights into impactful applications. At LawZero, we're on the lookout for a talented ML Research Scientist to advance our unique research agenda. With a focus on high-dimensional...

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, prove, and think? We're looking for Lean 4 Proof Engineers to translate rigorous mathematical arguments into machine-verifiable formalizations — working at the very frontier of...

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 rigorous human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do today. This is a fully...

We are seeking a Machine Learning (ML) Research Scientist to join our team working on a novel AI safety research agenda. In this role, you will develop and evaluate probabilistic inference methods, with a focus on amortized inference, translating theoretical insights into practical implementations. Key responsibilities Develop amortized inference methods...

Become a Back End Developer in the exciting iGaming sector with Light & Wonder in Montreal. This role aims to create and enhance interactive casino gaming experiences. In this essential position, you will program new casino games, maintain their quality, and address bugs effectively. Working within our Montreal team, you'll contribute to the enhancement of...

We are seeking a Senior Machine Learning (ML) Research Scientist to join our team working on a novel AI safety agenda. In this role, you will design and implement innovative ML models aimed at solving advanced AI safety problems. Key responsibilities Propose, design, and implement novel ML models tailored to solve complex AI safety problems. Collaborate...

Become a Back End Developer in the exciting iGaming sector with Light & Wonder in Montreal. This role aims to create and enhance interactive casino gaming experiences. In this essential position, you will program new casino games, maintain their quality, and address bugs effectively. Working within our Montreal team, you'll contribute to the...

Contribute to transformative AI research at LawZero as a Machine Learning Research Scientist. Your role will center on developing advanced probabilistic inference methods to enhance AI safety measures. We are seeking a dedicated ML Research Scientist to support our innovative AI safety research. This position demands expertise in statistical methods and a...

iGaming: If it’s iGaming, we know a thing or two. At Light & Wonder, It’s all about the games, and our digital team leads the global iGaming market, providing jaw-dropping content and innovative software that powers the world’s most successful online gaming providers. Position Summary As a member of the development team, within our Montreal studio,...

iGaming: If it’s iGaming, we know a thing or two. At Light & Wonder, It’s all about the games, and our digital team leads the global iGaming market, providing jaw-dropping content and innovative software that powers the world’s most successful online gaming providers.Position SummaryAs a member of the development team, within our Montreal studio, the...

We are seeking a Machine Learning (ML) Research Scientist to join our team working on a novel AI safety research agenda. In this role, you will develop and evaluate probabilistic inference methods, with a focus on amortized inference, translating theoretical insights into practical implementations. Key responsibilities Develop amortized inference methods...

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

Contribute to transformative AI research at LawZero as a Machine Learning Research Scientist. Your role will center on developing advanced probabilistic inference methods to enhance AI safety measures. We are seeking a dedicated ML Research Scientist to support our innovative AI safety research. This position demands expertise in statistical methods and a...

Join LawZero as a Machine Learning Research Scientist and drive innovative AI safety research. Your expertise in probabilistic inference will be key in translating theoretical insights into impactful applications. At LawZero, we're on the lookout for a talented ML Research Scientist to advance our unique research agenda. With a focus on high-dimensional...

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