Pour répondre aux besoins croissants du calcul numérique de haute performances, le laboratoire est engagé dans le développement d’une pile matérielle et logicielle pour les calculs avec des nombres en virgule flottante à précision variable et étendue (VXP pour Variable and eXtended Precision).

La partie matérielle est composée d’un processeurs hôte RISC-V équipé d’un accélérateur VXP. La partie logicielle est composée d’une extension aux langages C et C++ permettant de programmer avec une précision variable, précision qui peut être variable dynamiquement à l’exécution. Les applications ciblées sont les noyaux d’algèbre linéaire, calcul typique du HPC (High Performance Computing).

Sur la base d’un premier prototype issu d’un travail de thèse, le laboratoire recherche un candidat pour effectuer les développements suivants :

• Support des extensions RISC-V pour la VXP dans l’assembleur et le débogueur.
• Support des extensions C et C++ pour la programmation en précision variable dans la chaîne de compilation LLVM. L’objectif étant de maximiser le pouvoir d’expression des extensions au langage tout en conservant les bénéfices des multiples passes d’optimisations déjà présentes dans LLVM, voire en développant des passes spécifiques à la VXP.

Ces travaux se feront en étroite collaboration avec, d’une part l’équipe de développement matériel de l’accélérateur et de son hôte RISC-V, et d’autre part celle qui assure le portage d’applications et de noyaux de calcul HPC sur cette nouvelle architecture.

Le candidat rejoindra l’équipe projet d’ingénieurs-chercheurs du CEA et pourra être en relation avec des partenaires industriels ou académiques, en France ou en Europe. Des déplacements et des missions ponctuelles peuvent être nécessaire pour des salons ou des visites chez nos partenaires.

#CEA-List CDI CDD ; #IALIST

Le profil recherché est celui d’un ingénieur en informatique ayant un à cinq ans d’expérience et un goût certain pour les outils et techniques de compilation. Une première expérience avec les souches de compilation GCC et LLVM serait un plus.

Le candidat devra présenter une maîtrise des processus de développement logiciel et d’intégration continue, ainsi que de leurs outils associés : forges (Gitlab ou Github), Docker, Jenkins, etc.

Un esprit curieux, avide de techniques avancées et capable d’appréhender et de résoudre des problèmes complexes en autonomie est souhaitable. La capacité à travailler en équipe est nécessaire, tout en sachant faire preuve d’une bonne autonomie dans les tâches au quotidien. Une capacité de recul et une vision transverse sont également nécessaires à la bonne compréhension et à la prise en compte des contraintes aussi bien matérielles que logicielles.

#LI-MB1