Trustworthy AI Engineer: Formal Methods & LLMs

Institut DataIA Paris-Saclay is seeking individuals with strong backgrounds in formal methods and AI to develop transparent and reliable large language models (LLMs). Your role will involve building innovative product features while integrating advanced verification techniques.

You’ll collaborate closely with the founding team and scientific advisory board, contributing to research and driving the company’s goals. This position offers a hybrid work model with competitive salary and equity, health insurance, and participation in a mission-driven startup.