Ingénieur scientifique contractuel / Mise en place d'une infrastructure de benchmarking et de suivi de performance

A propos du centre ou de la direction fonctionnelle

Le centre Inria de l'Université de Rennes est l'un des huit centres d'Inria et compte plus d'une trentaine d'équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d'innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l'enseignement supérieur, laboratoires d'excellence, institut de recherche technologique.

Contexte et atouts du poste

Les activités de l'équipe-projet PACAP se concentrent autour de la performance des systèmes informatiques, et donc de la mesure de cette performance. En lien avec l'équipe Inria SPLiTS et l'université de Montréal, nous souhaitons tout d'abord quantifier la variabilité de la performance sur une large gamme de matériels, du microcontrôleur au processeur récent en passant par des architectures anciennes. Dans un deuxième temps, nous souhaitons identifier l'origine de cette variabilité, qui dépend du microprocesseur, de sa microarchitecture, du compilateur utilisé pour générer le code, du système d'exploitation, mais aussi de diverses conditions extérieures.

Le poste pourra inclure des déplacements à Sophia Antipolis.

Mission confiée

L'objectif est de développer une infrastructure logicielle qui permette de définir des protocoles de test, de les exécuter sur diverses machines (locale, distante, sans système d'exploitation...), et de stocker les résultats.

Cette infrastructure devra répondre aux besoins de mesure de variabilité et de reproductibilité des expériences.

Pour une meilleure connaissance du sujet de recherche proposé, la personne candidate pourra consulter les documents suivants :

• Touati SA, Worms J, Briais S. The Speedup-Test: a statistical methodology for programme speedup analysis and computation. Concurrency and computation: practice and experience. 2013 Jul;25(10):1410-26.
• Charlie Curtsinger and Emery D. Berger. 2013. STABILIZER: statistically sound performance evaluation. In Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems (ASPLOS '13). Association for Computing Machinery, New York, NY, USA, 219-228. https://doi.org/10.1145/2451116.2451141
• Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter F. Sweeney. 2009. Producing wrong data without doing anything obviously wrong! SIGPLAN Not. 44, 3 (March 2009), 265-276. https://doi.org/10.1145/1508284.1508275

Principales activités

La personne recrutée sera amenée à :

• Proposer une interface utilisateur en lien avec les collègues impliqués dans le projet
• Développer la plateforme de test
• Proposer une méthode de stockage des résultats
• Proposer une méthode reporting (graphique, texte)
• Valider la plateforme sur un ensemble hétérogène de machines

Compétences

Compétences techniques et niveau requis :

• bonne connaissance du langage C
• très bonne connaissance des langages de script : sh (bash), Python
• connaissance d'outils de génération de graphiques (gnuplot, matplotlib...)

Langues : français et anglais, lus, parlés et écrit

Avantages

• Restauration subventionnée
• Transports publics remboursés partiellement
• 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)
• Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
• Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
• Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
• Accès à la formation professionnelle
• Sécurité sociale

Rémunération

A partir de 2695€ brut par mois basé sur votre expérience