A leading AI research firm is seeking a Researcher in Lean 4 & Formal Proof Systems to translate mathematical proofs into formal verifications. The ideal candidate will have a Master's degree in Mathematics or a related field, strong skills in rigorous proof writing, and hands-on experience with proof assistants. This remote position offers competitive pay, flexibility, and the opportunity to collaborate on cutting-edge AI projects.#J-18808-Ljbffr