Job Description
A leading AI partner in Buenos Aires is seeking a Mathematical Formalization Specialist to translate informal proofs into formal, machine-verifiable structures using Lean. The ideal candidate has a Master’s degree in a relevant field, strong proof writing skills, and experience with formal proof sys...
Apply for this Position
Ready to join Alignerr Corp.? Click the button below to submit your application.
Submit Application