3 phd PhD positions at Inria, the French national research institute for the digital sciences

PhD Position F/M Knowledge reasoning for managing Cloud Computing models

Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 13 days ago

tools for solving these problems. The goal of this PhD is to understand how these results could be integrated or inspire the designing process of the models for the deployment and the execution of Cloud

PhD Position F/M AI-Based Embedded Real-Time Audio DSP

Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | 5 days ago

Emeraude INRIA/INSA-Lyon research team which is physically based at the CITI Lab of INSA-Lyon (Villeurbanne, France). This PhD will be conducted under the supervision of Romain Michon (Inria) and Pierre

PhD Position F/M Verifying Memory Safety of Linux Kernel Drivers

Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 8 days ago

analysis. Objective The goal of this PhD is to formally verify the memory safety of Linux kernel drivers. The project will focus on driver interactions with the kernel, including the direct use of kernel