Interface graphique pour gestionnaire mémoire en espace utilisateur

Contexte et atouts du poste

Dans le cadre d’un partenariat (vous pouvez choisir entre)

1. Defi Inria OS
2. Collaboration entre plusieurs équipe Inria: KrakOS, WHISPER, WIDE

L’ objectif est de
Développement une plateforme de visuatlisation des effets de USM, un système de gestion de la mémoire en espace utilisateur.

Des déplacements réguliers sont prévus pour ce poste ? Non

Mission confiée

Missions :Avec l'aide du doctorant qui à développer USM, la personne recruter va développer une plateforme de visualisation et de controle des effets de USM. Elle dévra également implanter un mécanisme de remontée de statistiques de USM vers l'interface graphique développée.

Pour une meilleure connaissance du sujet de recherche proposé :Lire la documentation sur la gestion de mémoire Linux.

Collaboration :
La personne recrutée sera en lien avec le doctorant Papa Assane Fall.

Principales activités

Principales activés (5 maximum) :

3. Développement
4. Lecture de la documentation
5. Ecriture de la documentation
6. Présentation
7. Démonstration

Activités complémentaires (3 maximum) :

Compétences

Compétences techniques et niveau requis : Programmation C et Web.

Langues : Français et anglais

Compétences relationnelles : Top

Compétences additionnelles appréciées : Linux

Avantages

8. Restauration subventionnée
9. Transports publics remboursés partiellement
10. Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
11. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
12. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
13. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
14. Accès à la formation professionnelle
15. Sécurité sociale
16. Participation employeur mutuelle santé (sous conditions)

Rémunération

A partir de 2 692 € brut mensuel selon expérience et diplômes.