Formal Methods (Lean 4) Expert

Role Overview Mercor is partnering with a leading AI lab to strengthen expert-level reasoning in frontier models. We are hiring formal-methods experts to author and review challenging formal-verifi.... Category: Jobs. Section: AI & Data....

Category

Jobs

Section

AI & Data

City

Remote

Price

$95 - $95 / hr