PhD Position F/M xOS: The End Of The Process-Thread Duo Reign

Télécharger l'offre au format PDF
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 Centre Inria de l’Université de Grenoble groups together almost 600 people in 23 research teams and 9 research support departments.

Staff is present on three campuses in Grenoble, in close collaboration with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE, …), but also with key economic players in the area.

The Centre Inria de l’Université Grenoble Alpes is active in the fields of high-performance computing, verification and embedded systems, modeling of the environment at multiple levels, and data science and artificial intelligence. The center is a top-level scientific institute with an extensive network of international collaborations in Europe and the rest of the world.

Contexte et atouts du poste

Within the framework of a partnership (you can choose between)

  • collaboration between 2 Inria teams: krakOS and Whisper

Mission confiée

Assignments :
With the help of his supervisors, the recruited person will prototype and evaluate xOS.

For a better knowledge of the proposed research subject :
A state of the art, bibliography and scientific references are available at the following URL: https://theses.hal.science/LIG_SRCPR/hal-04191367v1

Collaboration :
The recruited person will be in connection with Alain Tchana, Renaud Lachaize and Jean-Pierre Lozi, the supervisors of this PhD.

Responsibilities :
The person recruited is responsible for prototyping and evaluating xOS.

Steering/Management :
The person recruited will be in charge of organizing meetings with the PhD supervisors.

Principales activités

Main activities (5 maximum) :

  • Analyse the requirements of xOS
  • Propose a solution for the VIC, the runtime and the universal language for describing execution flows and protection domains
  • Design experimental platforms
  • Perform experiments
  • Write documentation and reports

Additional activities (3 maximum) :

 

  • Present the work at conferences

Compétences

Technical skills and level required :

  • Operating System Concepts
  • Linux kernel programming
  • C programming
  • Security

Languages :

  • French
  • English

Relational skills :

  • Work in a team

 

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage under conditions

Rémunération

 2200 euros gross salary /month