Formal Methods Engineer for Safe AI & LLMs

A pioneering AI startup in France is looking for an engineer with a strong background in formal methods to develop innovative Large Language Models that ensure transparency and reliability. Candidates should possess significant experience in formal verification and engage actively in research-driven product development. This role offers competitive salary, equity options, and a hybrid work model that emphasizes team collaboration. Join as one of the first employees to shape the future of AI with cutting-edge technology and a world-class team.

#J-18808-Ljbffr