Job Description
A leading AI research organization is looking for a Lean 4 Proof Engineer to translate informal mathematical proofs into formal ones using Lean. The ideal candidate holds a Master's degree in Mathematics or a related field and has hands-on experience with proof writing. This remote role offers flexi...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application