Remote Lean Theoretical Mathematician & Proof Specialist
Philadelphia, Philadelphia County, Pennsylvania, 19113, USA
Listed on 2026-10-30
-
Research/Development
Mathematics, AI Evaluation
Meridial seeks a theoretical mathematics expert to contribute high quality mathematical training data for AI. This freelance role focuses on constructing and evaluating complex proofs, validating reasoning, and translating material into Lean 4 syntax, supporting researchers and engineers globally.
The position is remote and worldwide, with pay on an hourly basis. The ideal candidate has a PhD or Post Doc in pure mathematics, excellent proof skills, and the ability to translate results into Lean
The Remote Lean 4 Theoretical Mathematician & Proof Specialist role at remote work is now open for applications in United States.
Are you ready to take on the Remote Lean 4 Theoretical Mathematician & Proof Specialist role at remote work?
We would love to welcome a new Remote Lean 4 Theoretical Mathematician & Proof Specialist to our team in United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).