Stage en Développement (M1) : Mise en Place d’une Chaîne de Tests pour des Outils de Recompilation Dynamique (H/F)

3 postes Informatique, développement, webmastering

Boulogne-Billancourt ()

Offre publiée le 04/10/2023

Missions du stagiaire

Vos principales missions

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. Actuellement, nous développons le projet Interflop (https://www.interflop.fr/), financé par l'ANR, qui 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 (https://github.com/verificarlo/verificarlo), une extension de LLVM développée par l'UVSQ, Verrou (https://github.com/edf-hpc/verrou), une extension de Valgrind développée par EDF, et PENE (https://github.com/aneoconsulting/pene), une extension de Intel Pin développée par ANEO. Ces trois outils intègrent des bibliothèques d'analyse qui pourraient être mutualisées.

Une première version d'API commune a été établie et des premières intégrations croisées de ces bibliothèques ont déjà été réalisées. Certaines évolutions seront probablement encore requises, en particulier pour bien supporter le multithreading. Néanmoins, afin d’avancer sur la mutualisation des bibliothèques, nous souhaitons d’une part implémenter une première bibliothèque d’analyse pouvant être intégrée dans les trois outils et d’autre part proposer un premier protocole de test permettant de valider que ces outils utilisent correctement l’API proposée.

Dans le cadre du développement de PENE, un premier travail de ce type a déjà été réalisé et pourra servir de base.

A ce titre, voici tes missions :

Implémentation d’une bibliothèque minimaliste
Intégration de cette bibliothèque dans les 3 outils (Verificarlo, Verrou et PENE) avec l’objectif de conserver la même base de code
Implémentation d’une bibliothèque de tests et mise en oeuvre d’une base de tests sur l’ensemble des outils

En fonction de l’avancement, ce stage pourra se conclure par l’implémentation d’une bibliothèque plus complète (probablement en adaptant une des bibliothèques actuellement utilisées).

Pré-requis du poste :

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, ouvert(e) d’esprit et fait preuve d’une grande capacité d’apprentissage.

Pourquoi nous rejoindre ?

Intégration au sein de l’équipe HPC-Cloud, l’une des plus importantes d’Europe avec plus de 40 consultants donc un tiers de docteurs.
Encadrement par l’un de nos consultants expérimenté qui sera ton maître de stage et assurera un suivi lors de points réguliers.
Accès à des ressources de calcul cloud pour des tests grâce à nos partenariats avec AWS, Azure et GCP.
Une organisation aplatie favorisant la collaboration puisqu’il y a aucun cloisonnement.

Informations pratiques :

Stage basé à Boulogne Billancourt (Pont de Sèvres)
Date de démarrage : à partir d'octobre 2023
Durée du stage : 3 à 4 mois
Niveau d’étude : M1
Gratification stage : 1100 euros par mois

Parcours de recrutement : 1er échange RH (30 min) / 2ème échange technique (1h) / 3ème échange (30 min)

A propos d’Aneo

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 et visons la certification B-Corp.
Nous accordons une importance fondamentale à la transmission de nos connaissances. Au delà de l’effort interne au travers d’évènements dédiés formations très réguliers et de sa marque Mauricette, Aneo s'engage activement dans diverses actions visant à transmettre notre expérience : Interventions en école (CentraleSupelec, Université Paris-Saclay, ITSY, ISEP…), accueil de professeurs de lycée, etc.
Une bonne ambiance de travail et une vie interne riche portée par des évènements transverses (soirées Off²), de communauté ou les clubs (running, volley-ball, mixologie, jeux-vidéo, échec, jeux de société, oenologie).

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.