Job Description
A technology firm in Australia is seeking a Lean 4 Proof Engineer to transform informal mathematical arguments into machine-verifiable formalizations. The ideal candidate will have a Master’s degree in a related field and experience with formal proof languages such as Lean. This role offers competit...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application