Job Description
Lean 4 Proof Engineer - Mathematical Formalization
Base pay range : $70.00/hr - $150.00/hr
Location : Remote
Role Overview
- We are seeking mathematicians with deep training in rigorous proof construction and hands‑on experience with formal...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application