PhD Position F/M Type-based security properties assurance in operating systems

il y a 2 jours


Rennes, France Inria Temps plein
A propos du centre ou de la direction fonctionnelle

The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.

Contexte et atouts du poste

The PhD thesis is fully funded 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-security experts from ANSSI.

Mission confiée

For a detailed description of the proposed research activities, see the full description on the team's webpage.

We propose to explore using types in operating system source code as a mean to get assurance on security properties. With the rise of memory-safe languages for system programming like Rust, type-based techniques in operating system source have just recently started being investigated to get assurance on functional correctness. With security properties an additional challenge is the need to consider the whole program at once instead of individual functions or modules. It is thus proposed to address three sub-challenges in the thesis:
  • to identify relevant low-level security properties that support global, high-level properties,
  • to study methods to ensure these low-level properties using the type system of the programming language,
  • and finally to explore how to keep guarantees despite interactions with code in memory-unsafe programming languages like C.

Proof-of-concept implementations should be done on Rust-based operating systems as well as on operating systems having added support for Rust code, like Linux.

Keywords: Operating systems; Security; Programming languages; Rust.

Principales activités

Main activities:
  • propose new approaches to operating system development
  • develop prototypes and evaluate the proposed approaches
  • write, submit and present papers to conferences, workshops and journals to present the thesis contributions
  • build and maintain a state of the art review of the research topic during the whole thesis work
  • write the final PhD thesis document and defend the thesis

Compétences

Technical skills and level required : familiar with system programming, interested by Rust programming and operating systems internals, comfortable with communicating technical ideas

Languages : english

Relational skills : able to debate novel ideas, team player

Other valued appreciated : creative, curious, fast learner, willingness to learn, dedicated, self-motivated

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Possibility of teleworking (90 days per year) and flexible organization of working hours
  • Partial payment of insurance costs

Rémunération

Monthly gross salary amounting to 2100 euros for the first and second years and 2200 euros for the third year

  • Rennes, Bretagne, France INRIA Temps plein

    Context and ObjectivesThis PhD thesis is part of the NumPEx project, a key national initiative aiming to co-design the software stack for the exascale era and prepare applications accordingly. The thesis will be co-supervised by Inria and CEA, with collaborations expected within the consortium.Research TeamThe thesis will be hosted by the KerData team at the...


  • Rennes, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and...


  • Rennes, Bretagne, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    Research Context:Mitsubishi Electric R&D Centre Europe - France is a leading research and development centre that provides advanced support to the Japanese R&D centres and business units of Mitsubishi Electric Corporation. Our Wireless Communication Systems team focuses on wireless communications for various fields, including factory automation, automotive,...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionContext and ObjectivesThis PhD position is part of the Adapting project, which focuses on designing adaptive embedded hardware architectures for AI. The goal is to design new incremental machine learning algorithms that can serve as use cases in the Adapting project for other researchers who will focus on the hardware architecture...


  • Rennes, Bretagne, France Inria Temps plein

    About the PhD PositionWe are seeking a highly motivated PhD student to join our research team at Inria Rennes - Bretagne Atlantique Centre. The successful candidate will work on the impact of hardware faults on AI decisions and algorithms developed to explain AI models.Research ContextWith the growing need to distribute AI applications from the cloud to edge...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionContext and ObjectivesThis PhD position is part of the Adapting project, which focuses on designing adaptive embedded hardware architectures for AI. The goal is to design new incremental machine learning algorithms that can serve as use cases in the Adapting project for other researchers who will focus on the hardware architecture...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionContext and ObjectivesThis PhD position is part of the Adapting project, which focuses on designing adaptive embedded hardware architectures for AI. The goal is to design new incremental machine learning algorithms that can serve as use cases in the Adapting project for other researchers who will focus on the hardware architecture...


  • Rennes, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:DoctorantA propos du centre ou de la direction fonctionnelle The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty research teams. The Inria Centre is a major and...


  • Rennes, Bretagne, France CHU de Rennes Temps plein

    Position Title: Nurse (M/F) - Operating Room ServicesOrganization: CHU de RennesWe are seeking qualified Nurses for the Operating Room Services within our Surgical and Interventional Center.Eligibility is limited to current staff members who have completed a minimum of one year of service at our institution.For those already in a position, a tenure of at...


  • Rennes, Bretagne, France Institut National des Sciences Appliquées de Rennes Temps plein

    Institut National des Sciences Appliquées de Rennes (INSA Rennes) is seeking a highly motivated PhD candidate to join the OHM research group within the FOTON Institute. This exciting opportunity focuses on developing innovative materials and nanostructures based on Indium Phosphide (InP) for cutting-edge applications in solar energy and quantum...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionAt INRIA, we are seeking a highly motivated PhD student to join our team and contribute to the development of reliable AI accelerators.Project OverviewThe goal of this PhD project is to investigate the reliability of unconventional AI accelerators, specifically those based on PIM (Processing-In-Memory) and neuromorphic computing architectures....


  • Rennes, Bretagne, France Mitsubishi Electric R&D Centre Europe - France Temps plein

    About the RoleMitsubishi Electric R&D Centre Europe - France is seeking a highly skilled Post-doctoral Researcher to join our Wireless Communication Systems team. As a key member of our research team, you will be responsible for designing and developing novel neural-network-based control systems for nonlinear time-varying dynamical systems.Key...


  • Rennes, Bretagne, France INRIA Temps plein

    Context and ObjectivesThis PhD thesis is part of the NumPEx project, a key national initiative aimed at co-designing the software stack for the exascale era and preparing applications accordingly. The thesis will be co-supervised by Inria and CEA, with collaborations expected within the consortium.Research TeamThe thesis will be hosted by the KerData team at...


  • Rennes, Bretagne, France INRIA Temps plein

    Context and Key Aspects of the PositionThis PhD position is part of the META-TOO project, a European initiative that aims to investigate gender-based inappropriate social interactions in the Metaverse. The project is a collaboration between three distinguished institutions in Europe: Inria, NKUA, and IDIBAPS. The PhD researcher will contribute to the project...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionAt INRIA, we are seeking a highly motivated PhD student to join our team and contribute to the development of reliable AI accelerators.Project OverviewThe goal of this PhD project is to investigate the reliability of unconventional AI accelerators, such as PIM-based accelerators, and propose fault mitigation techniques to ensure their safe...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionPhD Position in Reliability Enhancement of Unconventional AI AcceleratorsInria Rennes - Bretagne Atlantique Centre is seeking a highly motivated PhD student to work on the reliability enhancement of unconventional AI accelerators. The successful candidate will join our research team and contribute to the development of innovative solutions for...


  • Rennes, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD**Niveau de diplôme exigé **:Bac + 5 ou équivalent**Fonction **:Doctorant**Niveau d'expérience souhaité **:Jeune diplôméA propos du centre ou de la direction fonctionnelle The Inria Centre at Rennes University is one of Inria's eight centres and has more than thirty...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionPhD Position in Reliability Enhancement of Unconventional AI AcceleratorsInria Rennes - Bretagne Atlantique Centre is seeking a highly motivated PhD student to work on the reliability enhancement of unconventional AI accelerators. The successful candidate will join our research team and contribute to the development of innovative solutions for...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionThis PhD position is part of the META-TOO project, a European initiative that addresses the issue of online misconduct in virtual spaces. The project aims to create a more inclusive and equitable digital world by empowering VR/AR users to deter and address inappropriate behavior.Research TopicsThe PhD student will focus on two main research...


  • Rennes, Bretagne, France INRIA Temps plein

    Job DescriptionThis PhD position is part of the META-TOO project, a European initiative that addresses the issue of online misconduct in virtual spaces. The project aims to create a more inclusive and equitable digital world by empowering VR/AR users to deter and address inappropriate behavior.Research TopicsThe PhD student will focus on two main research...