Remote Lean 4 Formal Methods Researcher: AI Reasoning

A cutting-edge AI research firm is seeking formal methods researchers to transform complex mathematical proofs into machine-verifiable formats using Lean 4. This fully remote position requires a Master's degree or higher in Mathematics or a related field, with hands-on experience in proof writing and formal verification. You'll collaborate with AI researchers, tackle challenging proofs, and contribute to the future of mechanized mathematics. Ideal for those passionate about bridging human arguments and machine logic.#J-18808-Ljbffr