Job Description
Alignerr, Adelaide, South Australia, Australia
Overview
Formal Verification Scientist (Lean 4 & Mathlib) – Hourly Contract – Remote
Location: Remote • Commitment: 10–40 hours/week • Compensation: $70–$150 /hour
Responsibilities
- Write and formal...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application