A leading AI research company seeks a Remote Researcher specialized in formal proof systems. Ideal candidates will have a Master's degree in Mathematics and experience with Lean. Role includes translating informal mathematical proofs, collaborating on verification strategies, and pushing the boundaries of automated reasoning. Enjoy competitive pay, flexibility, and a chance to work on cutting-edge AI projects while collaborating with top researchers. This position offers the potential for contract extension and is suited for mathematically mature problem-solvers.#J-18808-Ljbffr