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 CornelIA, elle sera amenée à collaborer avec l'INRIA Lille. Des connaissances dans les domaines suivants de l'informatique sont nécessaires : compilation des connaissances, optimisation convexe, théorie de la complexité. : La personne recrutée devra savoir mener sa recherche de façon autonome. Cela comprend l'établissement d'une bibliographie pertinente en rapport avec les questions étudiées, la mise au point d'un plan de recherche ainsi que la rédaction de papiers. Des compétences en Rust ou C++ seront aussi appréciées pour l'expérimentation des nouveaux algorithmes qui seront mis au point dans le cadre du projet. Il est attendu que la personne recrutée sache communiquer naturellement et rapidement, tant sur ses avancées que sur les points de blocage afin de faciliter les collaborations