Job Description
A leading AI research partner seeks mathematicians for a remote role focused on formalizing advanced mathematical proofs using Lean. Ideal candidates will possess a master's degree in mathematics or a related field, with strong proof writing skills and experience in tools like Lean or Coq. Responsib...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application