Job Description
A forward-thinking AI research firm based in Australia is seeking a Formal Verification Scientist to work on advanced mathematical proofs in Lean. This role offers competitive hourly compensation and the flexibility to work 10–40 hours per week. Candidates should possess a Master's degree in Mathema...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application