AI Engineer: LLMs + Formal Verification Lead
GIF SUR YVETTE
il y a 13 jours
Institut DataIA Paris-Saclay in France is seeking an AI Engineer passionate about AI innovation and formal verification. You will work on next-generation formally verified AI systems, optimizing performance while reducing costs.
This position offers a hybrid work model, competitive salary, health insurance, and daily lunch vouchers. Be part of a mission-driven startup and collaborate with a world-class team on cutting-edge technology.
#J-18808-Ljbffr
Entreprise
Institut DataIA Paris-Saclay
Plateforme de publication
WHATJOBS
Offres pouvant vous intéresser
GIF SUR YVETTE
il y a 13 jours
PALAISEAU, 91
il y a 6 jours
PhD Thesis proposal (3 years) M/F -Reinforcement Learning for Formal Verification of Liveness i[...]
RENNES, 35
il y a 5 jours
VALBONNE, 06
il y a 6 jours