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
Secure Implementations of Code-Based Post-Quantum Cryptography: Software-Hardware Co-Design and Side-Channel Resistance
Quantum computing threatens traditional cryptographic schemes like RSA and ECC, prompting the need for post-quantum cryptography (PQC). NIST’s standardization process selected algorithms like HQC, a code-based Key Encapsulation Mechanism. Efficient and secure implementation of these algorithms, especially in resource-constrained environments such as IoT and embedded systems, remains a challenge. Physical attacks, particularly side-channel and fault...
EN 
FR 