Alignerr
Lean 4 Proof Engineer - Mathematical Formalization
- 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 up to $200/hr to push the boundaries of formal mathematics — formalize advanced proofs in Lean 4 for cutting-edge AI research. Fully remote…
Categories
Similar jobs
-
AI Jailbreak & Prompt-Injection Security Expert New
$50–90/hr
-
Senior Software Engineer, Backend (Node.js, TypeScript, Rust) New
$50–80/hr
-
Senior Software Engineering Experts
$120–180/hr
-
Senior Data Scientist and Data Engineering Experts
$120–180/hr
-
Certified Inpatient Medical Coder
$50–70/hr
-
Data & Charts Expert
$25–50/hr