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