A pioneering AI research firm is seeking a Remote Researcher specializing in Lean 4 and formal proof systems. Ideal candidates will hold a Master's degree in a relevant field and possess strong mathematical reasoning skills. Responsibilities include translating informal proofs into formal submissions, analyzing proof structures, and collaborating on cutting-edge projects. This role offers competitive pay, flexible work arrangements, and an opportunity to be at the forefront of formal verification in AI.#J-18808-Ljbffr