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 enjoying the flexibility of remote work. A Master’s degree in Mathematics and experience with proof assistants are required, making this an exciting opportunity to contribute to innovative projects at the forefront of AI research.
#J-18808-Ljbffr

Apply for this Position

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

Submit Application