A leading AI research firm is seeking a specialized individual to transform mathematical proofs into formal systems. This role emphasizes clarity, structure, and correctness, requiring strong skills in proof writing and systems like Lean. Ideal candidates will have a Master's degree and a deep interest in formal verification. Enjoy competitive pay, remote work, and collaboration on cutting-edge AI projects. Engage with advanced LLMs in a dynamic team environment.#J-18808-Ljbffr