Remote Lean 4 Proof Engineer: Formalize Math

A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master’s degree in Mathematics or a related field and hands-on experience with Lean and formal proof languages. The position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting-edge AI projects. #J-18808-Ljbffr