Job Description

A leading AI research firm is seeking a Researcher specializing in Lean 4 and Formal Proof Systems. This role involves translating mathematical proofs into formal, machine-verifiable structures, crucial for advancing AI research. Ideal candidates will have a master's degree or higher and significant experience with formal proof languages, particularly Lean. The position offers competitive hourly rates and flexible remote work options, supporting mathematicians passionate about formal verification and cutting-edge AI collaboration.
#J-18808-Ljbffr

Apply for this Position

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

Submit Application