Ingénieur (H/F) - Etude des structures catégoriques, langages, et théories de types · Laboratoire Jean-Alexandre Dieudonné, Poste · La Géode