2 composite "The University of Chicago" PhD positions at Inria

PhD Position F/M Scalable Translation Validation for High-Performance

unified way? How to support the composition with loop transformations? How that formalization might be produced by the compiler? Finally, how to check it in a scalable way? The polyhedral model provides a

PhD Position F/M Campagne doctorant 2024 - Emergence of mesoscale

improved performance in learning different compositional tasks [8, 9 ]. Thus, a crucial question is to understand why, where, and when mesoscale properties such as modularity emerge during the learning