Job Description
A leading AI research partner in Canada is seeking a Lean 4 Proof Engineer specializing in formal verification and proof construction. This remote position requires a Master’s degree in a relevant field and experience with formal proof languages, particularly Lean. Responsibilities include translati...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application