Jobs
All our offers
-
PostDoc
Application of formal methods for interferences management
Within a multidisciplinary technological research team of experts in SW/HW co-design tools by applying formal methods, you will be involved in a national research project aiming at developing an environment to identify, analyze and reduce the interferences generated by the concurrent execution of applications on a heterogeneous commercial-off-the-shelf (COTS) multi-core hardware platform.
-
PostDoc
Design and Implementation of a Neural Network for Thermo-Mechanical Simulation in Additive Manufacturing
The WAAM (Wire Arc Additive Manufacturing) process is a metal additive manufacturing method that allows for the production of large parts with a high deposition rate. However, this process results in highly stressed and deformed parts, making it complex to predict their geometric and mechanical characteristics. Thermomechanical modeling is crucial for predicting these deformations, but...
-
PostDoc
High-performance computing using CMOS technology at cryogenic temperature
Advances in materials, transistor architectures, and lithography technologies have enabled exponential growth in the performance and energy efficiency of integrated circuits. New research directions, including operation at cryogenic temperatures, could lead to further progress. Cryogenic electronics, essential for manipulating qubits at very low temperatures, is rapidly developing. Processors operating at 4.2 K using 1.4 zJ...
-
PostDoc
Modeling and integrating Local-First Data Types
Existing modeling frameworks have limited collaboration capabilities. Collaboration at model level is one of the top desired features as identified in the literature. However, most port of solutions primarily rely on cloud-based and centralized databases as their technological solution. While these solutions ease collaboration among connected partners by employing concurrency control techniques or adopting a...
-
PostDoc
Multi-Agent Negotiation for Collaborative Resource Placement in Distributed Cloud Networks
This research project aims to design a decentralized and autonomous resource management system for heterogeneous cloud networks. Building on the shift toward distributed architectures driven by concerns over data sovereignty and performance, the project seeks to move beyond the traditional centralized control plane model used in Kubernetes. Each organization involved in a federation of clusters...