AI Engineer: LLMs + Formal Verification Lead

Institut DataIA Paris-Saclay is looking for an AI Engineer in Gif-sur-Yvette, France to design and develop next-gen AI systems. You will lead groundbreaking projects that blend large language models with formal verification methods, enhancing reliability and cost-efficiency.

The ideal candidate is passionate about AI, has 3+ years of experience in AI/ML systems, and is proficient in Python. Benefits include competitive salary, health insurance, and a hybrid work model.