A leading AI research firm is seeking a Researcher specializing in Lean and formal proof systems. The role involves translating informal proofs into formalizations and improving verification processes. Ideal candidates will hold a Master's degree in Mathematics or a closely related field, possess a strong foundation in rigorous proof writing, and have hands-on experience with proof systems like Lean. This position offers competitive pay, flexible remote work options, and opportunities to work on cutting-edge AI projects.#J-18808-Ljbffr