Lean 4 Formal Math Proof Engineer

Cincinnatus LLC is seeking Lean engineers to help a leading AI lab state and prove mathematics correctly using Lean 4. The role focuses on writing proofs that compile with mathlib, formalizing statements, and reviewing AI-generated Lean content.This is a part-time engagement with W-2 employment through Cincinnatus LLC, with placement at the lab, and flexible...

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the...

Help a leading AI lab teach its models to write real, machine-checked mathematics in Lean.1. OverviewA leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help its AI models state and prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into precise formal statements, and help the lab's...

About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on. This is a fully remote, flexible contract...

AboutMeta is seeking a Research Scientist to join its Fundamental AI Research (FAIR) organization, focused on making significant advances in LLMs reasoning with specific focus on reinforcement learning, informal and formal math and advanced scaffolding/agentic techniques. You will have the opportunity to work with a broad and highly interdisciplinary team of...

AI/Data Engineering Manager (F/H) Xp : 6-10y / Salary : 90-100K fix Full-time · Paris, Rue Yves Toudic Fabriq, what we do and why Our Ambition: Make European industry shine by making factories more competitive and operators more autonomous. With Lighthouse, we bring AI to every level of the factory, from the operator to group leadership. What We Do:...

About AQEMIA AQEMIA is a drug invention company dedicated to creating entirely new medicines to address major unmet medical needs. At the core of our mission is QEMI, our proprietary molecule-invention platform, which uniquely combines cutting-edge science with advanced technology. Powered by physics-based modeling, statistical mechanics, and generative AI,...

Meta is seeking a Research Scientist to join its Fundamental AI Research (FAIR) organization, focused on making significant advances in LLMs reasoning with specific focus on reinforcement learning, informal and formal math and advanced scaffolding/agentic techniques. You will have the opportunity to work with a broad and highly interdisciplinary team of...

About AQEMIA   AQEMIA is a drug invention company dedicated to creating entirely new medicines to address major unmet medical needs. At the core of our mission is QEMI, our proprietary molecule-invention platform, which uniquely combines cutting-edge science with advanced technology. Powered by physics-based modeling, statistical mechanics, and generative...