Job Description

Overview

Location: Remote

At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models.

What You’ll Do

  • Translate informal mathematical proofs into Lean (and related proof systems) with an emphasi...

Apply for this Position

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

Submit Application