3 software-formal-method-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

to research in computer science and mathematics. 400 R&D engineers support research scientists by developing software tools and platforms that help the research process and the experimentation. Spirals

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

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