Remote Lean 4 Proof Engineer: Formalize Math

A leading AI collaboration firm is seeking a Researcher specializing in Lean and formal proof systems. The ideal candidate will have a Master's degree in Mathematics and strong proof writing skills. This remote position involves translating informal mathematical proofs into machine-verifiable formats and collaborating with researchers to enhance formal verification methods. Competitive pay, flexible hours, and opportunities for contract extensions are offered. #J-18808-Ljbffr