Job Description
A leading AI research firm is seeking a Researcher specializing in Lean 4 and Formal Proof Systems. The ideal candidate will translate mathematical proofs into formal verifications while working remotely. A Master's degree in Mathematics and experience with proof assistants are required. Join ...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application