mathematician

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape how AI reasons, verifies, and understands formal logic? We're looking for expert mathematicians to translate advanced human-written proofs into machine-verifiable formalizations — working at the exact boundary of...