A leading AI research company is looking for a Researcher specialized in Lean 4 and formal proof systems. This remote position involves translating mathematical proofs into precise formalizations and collaborating with researchers to advance formal verification. Ideal candidates should hold a Master's degree in Mathematics or a related field and have hands-on experience with proof languages like Lean. The role offers competitive pay and flexible working hours engaged in cutting-edge AI projects.#J-18808-Ljbffr