Alignerr
Researcher - Lean 4 & Formal Proof Systems
- Pay
- $170–200/hr
- Type
- Part-time
- Location
- Remote
Free to apply. Never pay anyone to get AI training work.
About this role
Get paid $170–$200/hr to push the boundaries of formal mathematics — formalizing advanced proofs in Lean 4 for cutting-edge AI research. Fully remote…
Similar jobs
-
Frontier Data Lead – AI Client Delivery & Growth
$85–120/hr
-
Frontier Data Lead – Strategic AI Program Management
$85–120/hr
-
Frontier Data Lead – Client Success & AI Partnerships
$85–120/hr
-
Frontier Data Lead – AI Program & Account Management
$85–120/hr
-
Frontier Data Lead – Client Delivery & Account Growth
$85–120/hr
-
Growth Operations Manager
$40–80/hr