La personne recrutée menera des recherches au sein du CRIL sur des problème d'optimisations en compilation de connaissances. Dans le cadre du CPER Cor...