Formal Methods Engineer - AI Verification, Hybrid & Equity

Institut DataIA Paris-Saclay is seeking exceptional engineers to innovate at the intersection of AI and formal methods. This role focuses on developing new reliable and efficient LLMs through the application of formal verification techniques.

The ideal candidate will have a strong technical background in formal methods, a passion for AI, and the ability to translate cutting-edge research into practical systems. Benefits include a competitive salary, health insurance, and a hybrid work model.