A leading AI research firm is seeking a skilled individual for a remote role focused on translating mathematical proofs into formal systems like Lean. The successful candidate will hold a Master''s degree and have hands-on experience with proof assistants, particularly Lean. Responsibilities include analyzing proofs, constructing formalizations, and collaborating with researchers. Join a team at the forefront of mechanized mathematics and enjoy competitive pay and flexible remote work.#J-18808-Ljbffr
Job Title
Formal Proof Systems Researcher (Lean) - Remote