Job Description
A leading AI research firm is seeking a mathematician for a remote role focused on formal verification and advanced proof writing in Lean. Ideal candidates will have a Master's degree in a related field and experience with proof assistants like Lean or Coq. Responsibilities include translating proof...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application