AI Safety & Formal Methods Scientist

Institut DataIA Paris-Saclay is seeking a visionary researcher to bridge AI and formal methods. This role focuses on developing new LLMs that prioritize transparency and cost-effectiveness.

Join a mission-driven startup with the opportunity to shape innovation while working alongside a world-class scientific advisory board and engaging with leading companies in healthcare and enterprise software.

Enjoy competitive benefits including equity, health insurance, and a hybrid work model emphasizing collaboration.