Lean Proof Engineer and Formal Mathematician

Cincinnatus LLC is seeking Lean engineers, formal mathematicians and proof engineers to help its AI lab state and prove mathematics in Lean 4. You will write and review Lean proofs, formalize informal math into precise formal statements, and ensure model proofs are faithful and correct.This is a part-time W-2 position with 20 hours per week minimum (up to 40...

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...

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...

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...

Meet Arago and the AragoniansArago is an AI and computer hardware company whose mission is to drive the course of history forward. We do so by accelerating breakthroughs at the intersection of AI and semiconductors.Founded in 2024 by AI researchers and physicists with deep expertise in photonics, electronics, software, mathematics, and machine learning,...

AVEVA is a global leader in industrial software. Our cutting-edge solutions are used by thousands of enterprises to deliver the essentials of life – such as energy, infrastructure, chemicals and minerals – safely, efficiently and more sustainably. We’re the first software business in the world to have our sustainability targets validated by the SBTi,...

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...

Meet Arago and the AragoniansArago is an AI and computer hardware company whose mission is to drive the course of history forward. We do so by accelerating breakthroughs at the intersection of AI and semiconductors.Founded in 2024 by AI researchers and physicists with deep expertise in photonics, electronics, software, mathematics, and machine learning,...

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:...