2 model-checking 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

this thesis, we will focus on the models expressed by logics and data. These models are used in order to check different properties about these models in order to check that the models are correct and coherent

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

of DMA buffers). Identifying common unsafe patterns or assumptions in the use of kernel APIs. Exploring tools (e.g., static analysis, symbolic execution, model checking, formal specification) to verify