1 formal-verification-computer-science PhD scholarships in France

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

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

26 Aug 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile First Stage Researcher (R1

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions