<div dir="ltr">We seek a post-doctoral researcher to join the SmartCloud project, an ANR-funded<br>initiative addressing critical challenges in cloud computing automation.<br><br>The position is for a period of 12 or 18 months and can be based either in Lille<br>or Sophia Antipolis (France), with the possibility of research stays at the<br>University of Bologna (Italy), depending on the candidate’s preferences. This<br>flexibility is intended to encourage applications from candidates who may favor<br>one base location or the other, including stays in Bologna/Italy. The postdoc<br>will collaborate with the members of the OLAS INRIA research team involved in<br>the SmartCloud project, who are based at the University of Bologna.<br><br># The SmartCloud project<br><br>Modern cloud systems require constant manual intervention from support teams who<br>monitor thousands of components, diagnose performance issues, and coordinate<br>complex adaptations across distributed infrastructures. This manual approach<br>cannot scale with growing cloud demands and increasingly complex multi-cloud<br>architectures.<br><br>The SmartCloud project develops automatic adaptation frameworks that coordinate<br>both platform-level resource management and application-level behavioural<br>changes. The project focuses on creating systems that can reason about component<br>interdependencies, predict cascading effects, and execute coordinated<br>adaptations without human intervention. SmartCloud’s approach combines formal<br>modelling techniques with practical deployment optimisation to ensure both<br>correctness and efficiency.<br><br># Research Teams<br><br>Three research teams collaborate on this project. The OLAS team at Inria<br>Sophia-Antipolis and the University of Bologna leads the optimisation research,<br>bringing expertise in the automatic deployment of component-based applications and<br>microservice architectures. The SPIRALS team at Inria Lille contributes<br>coordination mechanisms and behavioural modelling techniques, particularly<br>through their work on BIP coordination frameworks and OCCI cloud standards.<br>SCALAIR, the project's industrial partner, provides real-world cloud operations<br>context through their management of virtual machines and physical systems,<br>offering both use cases and evaluation environments.<br><br># Research Activity<br><br>The post-doctoral researcher is expected to contribute to one or more of the<br>following interconnected research activities:<br><br>Developing constraint-solving and optimisation techniques for global cloud<br>application deployment. The work regards developing solutions that use<br>constraint programming and optimisation techniques to automatically generate<br>optimal deployment plans that respect component dependencies, resource<br>constraints, and domain-specific policies.<br><br>Designing heuristics for rapid local adaptations. This activity regards the<br>development of knowledge-based systems that rapidly select pre-computed<br>adaptation strategies based on monitored key performance indicators. This work<br>particularly addresses the coordination challenges in microservice<br>architectures, where uncoordinated scaling can create cascading failures<br>throughout the system.<br><br>Implement prototypes that automatically translate deployment specifications into<br>executable plans. This activity can also include developing declarative<br>languages for specifying deployment policies and creating mechanisms that<br>trigger specific deployment actions when performance thresholds breach<br>acceptable levels.<br><br>Develop and assess choreographic languages for adaptation. Choreographic<br>languages allow one to describe full distributed systems in a single artefact,<br>focusing on the interactions between the distributed components. In particular,<br>we are interested in building on the existing AIOCJ and Choral languages to make<br>them suitable for adaptive multi-cloud scenarios.<br><br># Expected Candidate Profiles<br><br>We require candidates with a PhD in Computer Science, Software Engineering, or<br>closely related fields, demonstrating expertise in formal methods, distributed<br>systems, and cloud computing. Valuable technical skills for the profile sought<br>after include constraint programming and optimisation techniques, proficiency in<br>mainstream programming languages, like Java, C++, and Rust, and hands-on<br>experience with containerisation technologies such as Kubernetes and Docker.<br>Familiarity with microservice/serverless architectures, formal system modelling,<br>and coordination mechanisms is also a valuable asset for the position.<br><br># Contacts and Information<br><br>Contact one of the members of the SmartCloud OLAS research unit:<br>Prof. Gianluigi Zavattaro (<a href="mailto:gianluigi.zavattaro@unibo.it">gianluigi.zavattaro@unibo.it</a>)<br>Prof. Ivan Lanese (<a href="mailto:ivan.lanese@unibo.it">ivan.lanese@unibo.it</a>)<br>Prof. Saverio Giallorenzo (<a href="mailto:saverio.giallorenzo@unibo.it">saverio.giallorenzo@unibo.it</a>)</div>