Job Description

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr, Adelaide, South Australia, Australia

Remote position | Hourly Contract | 10–40 hours/week | $70–$150 /hour

About the Job

At Alignerr, we partner with the world’s leading AI research teams and labs ...

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application