Formal Mathematics Specialist (Lean / Coq / Isabelle)

About this role

To be placed at a leading AI Lab as part of their extended workforce. 2\. Key Responsibilities Guide research and engineering teams to close knowledge gaps and improve AI model performance in formal…

Skills mentioned

MathematicsWritingRLHF / EvaluationResearch

Before you apply

• You apply on Mercor's own site. Overhours never takes applications or fees.
• No real platform charges you to apply.
• Mercor pays via Stripe or Wise.
• This listing names United States. Give your real location: platforms verify ID.

More math & science roles

TuringNew1h ago

CAD & Simulation Consultant | Engineering Design and Simulation – Aerospace / Mechanical / Electrical Engineering

Skills: Process ModellingPythonMATLABKiCad, Process Modelling, Python, MATLAB, KiCad

Math & ScienceAny countryfull-time

TuringNew1h ago

Research Analyst - Advanced Math

Skills: Critical Thinking, Problem Solving, High School Maths, Mathematics

Math & ScienceAny countryfull-time

TuringNew1h ago

Bioinformatics / Computational Genomics Expert

Skills: PhD Biology

Math & ScienceAny countryfull-time

TuringNew1h ago

Agentic Life Science Expert

Skills: PhD Biology

Math & ScienceAny countryfull-time

TuringNew2h ago

Mathematics Expert (Master’s/Ph.D.)

Skills: Number Theory, Combinatorics & Discrete Mathematics, Probability & Statistics, Mathematical Logic & Foundations, Algebra, Calculus & Analysis

Math & ScienceAny countrypart-time

TuringNew2h ago

Physics Expert (PhD/Master's)

Skills: Relativity, Nuclear and Particle Physics, Astrophysics and Cosmology, Condensed Matter Physics, Classical Mechanics, Electromagnetism and Optics

Math & ScienceAny countryfull-time