Remote Lean Engineer - Formal Mathematics (Contract)
Job Description & Overview
Mercor seeks a Lean Engineer specializing in Formal Mathematics to advance formal proofs using Lean 4 and mathlib. The role focuses on translating competition problems and textbook results into rigorous formal statements and proofs, ensuring fidelity to original content.
You will review AI-generated Lean material, provide precise feedback, and contribute to establishing standards for proof quality and mathlib conventions while collaborating with researchers in a remote, flexible setup.
#J-18808-LjbffrReady to apply for this vacancy?
This driving opportunity is hosted on CV-Library. Click below to view the official posting and submit your application.
Key Details
- Date Posted: 12 Oct 2026
- Location: , , france
- Employment Type: Permanent
- Category: Biologie & Secteur pharmaceutique & Santé, Autre
Need an updated driver CV?
Build an ATS-optimised transport CV in 5 minutes with professional templates.
Build Free CV NowEmployer Information
mercor
Verified Transport EmployerVerified transport and logistics firm operating commercial fleets across the UK network.
More Jobs at mercor