A leading AI research collaboration firm is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote position focuses on translating informal mathematical arguments into rigorous, machine-verifiable proofs. Ideal candidates hold a Master's degree in Mathematics or a closely related field and have a strong foundation in formal proof writing. You'll collaborate with top researchers in the field, working on some of the most challenging verification tasks in AI and mathematics.#J-18808-Ljbffr