PhD offer: Type-based security properties assurance in operating systems

Job title:

PhD offer: Type-based security properties assurance in operating systems

Company

Job description

systems having added support for Rust code, like Linux. The PhD thesis is fully funded for three years under the framework… of a partnership between Inria and ANSSI. The PhD student will be supervised by researchers from Team SUSHI in collaboration with cyber…

Expected salary

Location

Rennes, Ille-et-Vilaine

Job date

Mon, 01 Jul 2024 06:02:56 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (nearmejobs.eu) you saw this job posting.

To apply for this job please visit jobviewtrack.com.

Job Location