Job Description

A leading AI research partner is seeking mathematicians for remote work in Toronto, Canada. You will be formalizing mathematical proofs using Lean and collaborating closely with AI researchers. Ideal candidates will hold a Master's degree or higher and possess a strong foundation in proof writing and mathematical reasoning. This role offers competitive pay and the flexibility of remote work while working on cutting-edge AI projects, providing ample opportunities for professional growth and collaboration.
#J-18808-Ljbffr

Apply for this Position

Ready to join Alignerr? Click the button below to submit your application.

Submit Application