2 hardware-verification PhD positions in France

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 | 11 days ago

complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties

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 | 7 days ago

: Are our tools fast enough? 2016. [5] Tobias Habermann, Jonas K¨uhle, Martin Kumm, and Anastasia Volkova. Hardware-aware quantization for multiplierless neural network controllers. In 2022 IEEE Asia Pacific