Job Description
Formal Verification Scientist (Lean 4 & Mathlib)
Organization: Alignerr
Location: Remote
Employment type: Hourly Contract
Compensation: $70–$150 /hour
Commitment: 10–40 hours/week
Role Overview
We are seeki...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application