Formal Mathematician - Fully Remote | Up to $110/hr Part-time

mercorFrance only

Apply now

Opens the original posting on Himalayas.

Apply now Source: Himalayas

Apply on the original site

Companies in this catalog do not charge applicants. Never send money to apply.

About the job

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

Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
Type: Contract
Compensation: $90–$110/hour
Location: Remote
Commitment: 20–40 hours/week

Role Responsibilities

Loading job…

Formal Mathematician - Fully Remote | Up to $110/hr Part-time at mercor · ApplyPick

Formal Mathematician - Fully Remote | Up to $110/hr Part-time

Apply now

About the job

Role Responsibilities

Formal Mathematician - Fully Remote | Up to $110/hr Part-time

Apply now

About the job

Role Responsibilities

Compensation & Legal

Resources & Support

For any help or support, reach out to:

Apply now