Jobs for data mathematician at Montreal

Join to apply for the Senior ML Research Scientist role at LawZeroJoin to apply for the Senior ML Research Scientist role at LawZeroWe 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...

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

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

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

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

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

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

An Overview Of Your Future Role BBA is a leading North American consulting firm that provides a broad range of services, including engineering and design, digital power systems, in-field testing, analysis and commissioning, asset management and analytics, and advisory services. Type of position: Régulier BBA has a new opportunity for a Junior Advisor as...

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