A leading AI research firm is seeking a Researcher specializing in Lean 4 and formal proof systems. This remote position involves translating informal proofs into precise formal proofs, analyzing gaps, and collaborating on cutting-edge verification approaches. The ideal candidate holds a Master's degree in a relevant field, brings hands-on Lean experience, and has a passion for formal verification. This role offers competitive pay with flexible working arrangements and potential for contract extension.#J-18808-Ljbffr