mathematician jobs in Montreal

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 informal math into precise formal statements, and help the...

Elevate AI model capabilities with a part-time role as a Lean 4 Formal Mathematician at Cincinnatus LLC. Engage in writing, reviewing, and formalizing mathematics proofs using Lean 4 techniques. This position requires expertise in creating precise Lean 4 statements and proofs, contributing to an advanced AI lab's research. You'll formalize informal...

DataAnnotation is looking for an experienced mathematician to design mathematical problems that today's leading AI models still get wrong. Models are fluent enough to produce an answer that looks right and a derivation that reads well.You bring the judgment to tell the difference between the two, and the tooling to prove it. This is a new and growing area...

About The JobMercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D'Angelo, Larry Summers, and Jack Dorsey.PositionApplied Mathematics Benchmark SpecialistTypeContractCompensation$61-$77/hourLocationRemoteCommitment10+...

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 informal math into precise formal statements, and help the...

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

Apply advanced mathematical reasoning remotely with DataAnnotation while evaluating AI chatbot outputs and solving complex problems. Choose full-time or part-time work.DataAnnotation seeks mathematicians to train AI models through careful evaluation and problem solving. The contract role focuses on measuring chatbot progress, assessing logic, and improving...

Join to apply for the Game Developer role at DataAnnotation.Get AI-powered advice on this job and access more exclusive features.We are seeking a mathematician with an advanced degree to join our team to train AI models. Your responsibilities will include measuring the progress of AI chatbots, evaluating their logic, and solving problems to enhance each...

Role OverviewWe are seeking 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...

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

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 with hands‑on Lean experience to formalize advanced mathematical arguments for cutting‑edge AI research — translating human reasoning into precise, machine‑verifiable knowledge. This is a...

1 day ago Be among the first 25 applicantsAre you passionate about solving logical problems and working through challenging math?Turing is looking for PhD-level researchers in mathematics to test the reasoning capabilities of large language models (LLMs). You’ll create math problems, analyze model responses, and identify gaps in logic or understanding. The...

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

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

Organization Description JUMP Math is a federally registered Canadian charity with an equity-driven mission to transform children’s experience with math learning and empower them to achieve their full potential. At JUMP Math, we believe every child can not only learn math but love it. Our evidence-based, Preschool to Grade 8 math program empowers teachers...

AI Engineer - Remote Eligible Build and ship agentic collaboration features integrating AI agents with human workflows Location: Canada Compensation: $121,000 - 214,000 CAD / year About The Role SandboxAQ AI Engineer Opportunity The SandboxAQ AI team is looking for an AI Engineer to help us build the future of agentic collaboration, trust and ROI. Our goal...

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

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

Role Overview We are seeking 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...