Alignerr
Applied Formal Methods Researcher (Lean 4)
- 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 formalize advanced math proofs in Lean 4 and push the frontier of AI verification. Remote, flexible, and deeply technical…
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