Python Product Engineer - AI + Formal Verification

Formel AI in Paris is seeking a Python Product Developer to build the next generation of AI systems that fuse LLMs with formal verification. You will design and implement core ML algorithms, bridge Python with high-performance languages, and ship features across the full stack in collaboration with the founding team.

You will work on translating research into production-ready Python implementations, shaping the product roadmap with early design partners, and delivering reliable, scalable systems