Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

Mercor opportunity: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving). Advertised compensation: $90 - $110 / hour. Open the employer's listing for current requirements, location. Category: Jobs. Section: Engineering & ...

Category

Jobs

Section

Engineering & Science

City

Remote