2 finite-element-analysis PhD positions at Inria, the French national research institute for the digital sciences

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

another limiting factor and an essential point that should be taken into account if we want such systems to be adaptable. In this context, the goal of this PhD is to take a multifaceted approach towards

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 | 9 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