mathematician jobs in Toronto

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

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

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 AI depends on. This is a fully remote, flexible contract...

Mercor is 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 one of...

Join a leading AI lab as a Lean Engineer to formalize mathematics. Utilize Lean 4 to ensure precise proofs and collaborate with researchers to enhance AI models. Cincinnatus LLC is seeking skilled Lean engineers and formal mathematicians for a crucial part-time role. You will write Lean 4 proofs, transform informal math into formal statements, and validate...

Contribute to groundbreaking AI research by helping models write real, machine-checked mathematics in Lean. This part-time role focuses on formalizing math and reviewing proofs effectively. Cincinnatus LLC is seeking Lean engineers and formal mathematicians to work with a leading AI lab. This role involves writing Lean 4 proofs, transforming informal...

Join a leading AI lab as a Lean Engineer to formalize mathematics. Utilize Lean 4 to ensure precise proofs and collaborate with researchers to enhance AI models. Cincinnatus LLC is seeking skilled Lean engineers and formal mathematicians for a crucial part-time role. You will write Lean 4 proofs, transform informal math into formal statements, and validate...

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

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

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

1 day ago Be among the first 25 applicants Are 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....

About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-checkable Lean 4 formalizations, working at the very frontier of AI research and...

Healthcare needs a better rhythm: one that keeps care continuous and deeply human. Heidi is building an AI Care Partner that works alongside clinicians to make that possible. We exist to double healthcare's capacity while keeping care deeply human. In 18 months, Heidi has returned more than 18 million hours to clinicians and supported over 73 million...

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

At SandboxAQ, we are committed to competitive, equitable, and transparent compensation; we continuously benchmark our salaries and total compensation to premium markets to ensure our competitiveness. Individual pay within the above range is determined by job-related skills, experience, education, and geographic location. With a focus on pay equity and...

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

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