Job Description
A leading AI research partner in South Australia is seeking a Lean 4 Proof Engineer to formalize advanced mathematical proofs. Ideal candidates have a Master's in Mathematics or a related field and strong expertise with Lean proof assistants. Responsibilities include translating informal proofs into...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application