Le projet Interflop ( ), financé par l'ANR, vise à fournir des outils et méthodologies pour analyser et corriger les problèmes causés par les erreurs d'arrondi en calcul flottant. Plusieurs outils ont été développés dans le cadre de ce projet, notamment Verificarlo ( ), une extension de LLVM développée par l'UVSQ, Verrou ( ), une extension de Valgrind développée par EDF, et PENE ( ), une extension de Intel Pin développée par ANEO.
PENE utilise la recompilation dynamique pour instrumenter à l’exécution les codes de calculs : il remplace chaque opération de calcul par un appel à une fonction permettant l’analyse de la stabilité numérique de l’application.
Des travaux précédents ont permis de concevoir des bibliothèques d’analyse ainsi que des tests d’instrumentation communs entre PENE, Verrou et Verificarlo. Nous souhaitons maintenant entrer dans une phase d’optimisation des performances de PENE.
Dans le cadre de ce stage, tu auras sujets principaux. Dans un premier temps (environ un mois), tu permettras à PENE d’utiliser les outils de delta-debug intégrés à Verrou. Ce sujet te permettra de prendre connaissance des outils, de leurs usages et des environnements techniques associés. Dans un second temps, du travailleras à optimiser les performances de PENE afin de réduire le temps d’exécution des codes instrumentés.
A ce titre, voici tes missions :
* Créer une couche d’abstraction permettant l’usage du module de delta debug de Verrou avec PENE
* Analyser les performances de PENE pour identifier les goulets d’étranglements des performances
* Améliorer les performances de l’instrumentation en utilisant en particulier des registres virtuels ainsi que les possibilités d’instrumentation multiples
* Tu as des compétences en développement C et C++,
* Tu es à l'aise sur le scripting en python,
* Une bonne compréhension de l’assembleur x86 et/ou de l’arithmétique flottante serait un plus,
* Tu disposes d’un excellent relationnel ainsi que de très bonnes capacités d'adaptation et d’analyse,
* Tu es curieux(se), ouvert(e) d’esprit et fait preuve d’une grande capacité d’apprentissage.
Pourquoi nous rejoindre ?
* Une expérience enrichissante : Vous aurez l'opportunité de travailler sur des projets à fort impact dans les domaines du calcul
* Un environnement stimulant : Vous intégrerez une équipe dynamique et passionnée, composée d'experts en développement logiciel et en infrastructure Cloud.
* Des perspectives d'avenir : Ce stage pourra déboucher sur un emploi au sein de notre entreprise.
Informations pratiques :
* Stage basé à Boulogne Billancourt
* Durée du stage : 6 mois minimum
* Démarrage : 1er semestre 2025
* Niveau d’étude : Master 2
* Télétravail : après 3 mois d'ancienneté (voir conditions de notre charte)
* Gratification stage : 1300 euros par mois
Parcours de recrutement : 1ᵉʳ échange RH (30 min) / 2ᵉ échange technique avec Malak et Akli (1h) / 3ᵉ échange avec Florian ou Jérôme
À propos d’Aneo
Aneo est une agence de conseil fondée en 2002, qui accompagne ses clients (entreprises du CAC 40 et start-ups) dans leur transformation digitale. Une agence hybride entre le conseil en organisation et management et le conseil en technologie. Aneo aborde les sujets de transformation dans leur globalité.La Responsabilité Sociétale de l'Entreprise (RSE) est au cœur de notre culture d'engagement humain et social. Notre démarche d'amélioration continue a été reconnue par la certification Ecovadis Gold, et nous avons engagé un plan d’action vers la certification B-Corp.
La formation constitue un axe important du développement d'ANEO: plus de 4% de notre masse salariale y est dédiée ! Que cela soit pour les formations internes ou pour des formations plus approfondies menant à des certifications. Des conférences régulières avec des experts et chercheurs issus de divers horizons permettent par ailleurs de suivre les avancées au plus près. Aneo s'engage également activement dans diverses actions visant à transmettre notre expérience au travers de l’enseignement et d’intervention en école : CentraleSupelec, Université Paris-Saclay, ITSY, ISEP…), accueil de professeurs de lycée, etc.
Notre culture d'entreprise est fondée sur la responsabilisation des collaborateurs, la promotion d'un équilibre entre vie professionnelle et personnelle, ainsi qu'une structure organisationnelle aplatie visant à encourager l'autonomie. Nous organisons et participons régulièrement à des événements (privés, publics).
Une bonne ambiance de travail et une vie interne riche portée par des évènements transverses (soirées Off²), nos communautés et nos clubs (escalade, volley-ball, mixologie, jeux-vidéo, échec, jeux de société, œnologie).
Aneo s’inscrit dans une démarche d’égalité, de diversité et d’inclusion. Tous nos postes sont ouverts aux personnes en situation de handicap.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.