4 formal-method-phd PhD positions at Inria, the French national research institute for the digital sciences
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 24 days ago
to obtain a description of the deployment of the application. To describe the model, there are different approaches and formalisms based on diagrams such UML, on logic and data or Feature Models. In
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 19 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
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | 15 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
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | about 20 hours ago
Framework Programme? Not funded by a EU programme Reference Number 2025-09322 Is the Job related to staff position within a Research Infrastructure? No Offer Description Context. This PhD thesis is part of