Ingénieur Machine Virtuelle Pharo / Isolation (H/F)

Créé en 2008, le centre Inria de l'Université de Lille emploie 360 personnes, dont 305 chercheurs répartis dans 16 équipes de recherche. Reconnu pour son engagement fort dans le développement socio-économique de la région Hauts-de-France, le centre Inria de l'Université de Lille entretient des relations étroites avec les grandes entreprises et les PME. En favorisant les synergies entre les chercheurs et l'industrie, Inria contribue au transfert de compétences et d'expertise dans le domaine des technologies numériques, et donne accès au meilleur de la recherche européenne et internationale au service de l'innovation et des entreprises, notamment dans la région.

Depuis plus de 10 ans, le centre Inria de l'Université de Lille est au cœur de l'écosystème universitaire et scientifique lillois, ainsi qu'au cœur de la Frenchtech, avec un showroom technologique situé avenue de Bretagne à Lille, sur le site d'excellence économique EuraTechnologies dédié aux technologies de l'information et de la communication (TIC).

L’objectif est de: développer des techniques d’optimisation du runtime et de la machine virtuelle Pharo permettant d’améliorer significativement les performances d’un environnement Sandbox pour l’exécution isolée de code Smalltalk/Pharo, tout en préservant les propriétés dynamiques, réflexives et interactives du langage.

Missions :

Avec l'aide de chercheurs et ingénieurs spécialisés en langages de programmation, runtime et machine virtuelle, la personne recrutée sera amenée à concevoir, implémenter et évaluer des optimisations permettant de rendre l’exécution dans le Sandbox Pharo comparable, autant que possible, à une exécution native hors Sandbox.

Elle étudiera notamment les interactions entre :

• le mécanisme de Sandbox ;
• le runtime Pharo ;
• l’interpréteur et le bytecode ;
• le compilateur JIT ;
• les mécanismes de gestion de stack et de contextes ;
• l’allocation mémoire et le garbage collector ;
• les mécanismes de réflexion et de réification.

Une partie importante du travail consistera à mesurer avant d’optimiser : identifier les principaux coûts du Sandbox, proposer des hypothèses d’optimisation, les implémenter puis les valider expérimentalement.

Responsabilités :

Principales activités:

• Analyser et caractériser les coûts de l’exécution Sandbox.
• Concevoir des optimisations au niveau du runtime, de l’interpréteur et du compilateur JIT.
• Développer et intégrer des prototypes dans la VM Pharo.
• Concevoir et exécuter des benchmarks reproductibles pour mesurer les gains obtenus.
• Documenter, présenter et diffuser les résultats sous forme de contributions logicielles et scientifiques.

La personne recrutée sera en lien avec les chercheurs et développeurs du projet Pharo ainsi qu’avec les contributeurs de la VM Pharo, qui développent et maintiennent le langage, son environnement d’exécution et sa machine virtuelle, pour concevoir et évaluer de nouvelles techniques d'optimisation du Sandbox et du runtime.
Elle pourra également collaborer avec des chercheurs travaillant sur :

• les langages dynamiques ;
• les machines virtuelles ;
• la compilation JIT ;
• la programmation réflexive ;
• les environnements d'exécution sécurisés ;
• les outils de développement interactifs.

Compétences techniques et niveau requis :

• Programmation : bonne maîtrise d’un langage de programmation ; une expérience de Smalltalk/Pharo constitue un réel atout.

• Langages et environnements dynamiques : intérêt et compréhension des mécanismes d’exécution des langages dynamiques.

• Runtime / machine virtuelle : connaissances en architecture de runtime, interprétation, bytecode ou machines virtuelles.

• Optimisation : capacité à analyser les performances d’un programme, construire des benchmarks et identifier les principaux coûts d’exécution.

• Développement système : maîtrise de C/C++ appréciée pour intervenir au niveau de la VM.

• Compilation / JIT : connaissances des principes de compilation et de compilation à la volée appréciées.

• Méthode expérimentale : capacité à concevoir des expérimentations reproductibles, analyser des résultats et comparer différentes approches.

• Outils de développement : maîtrise des outils classiques de développement logiciel, de versionnement (Git) et de tests.

Langues :

• Français : courant ou bonne capacité de communication professionnelle.

• Anglais : bon niveau professionnel, notamment pour lire la littérature scientifique, la documentation technique et communiquer avec une communauté internationale.

Compétences relationnelles :

• Curiosité intellectuelle et goût pour l'exploration de sujets techniques complexes.

• Capacité à travailler de manière autonome tout en sollicitant régulièrement les membres de l'équipe.

• Goût du travail collaboratif et capacité à partager ses connaissances et ses résultats.

• Capacité à présenter et vulgariser des résultats techniques auprès de publics ayant des niveaux d'expertise différents.

• Esprit critique et capacité à questionner les choix techniques existants.

• Persévérance face à des problèmes difficiles à reproduire ou à diagnostiquer.

• Rigueur dans la conduite des expérimentations et dans l'analyse des résultats.

Compétences additionnelles appréciées :

• Expérience avec Pharo ou Smalltalk.

• Expérience dans le développement ou l'optimisation d'une machine virtuelle, d'un runtime ou d'un compilateur.

• Connaissances en JIT, garbage collection, gestion de stack, bytecode ou dispatch dynamique.

• Expérience de travaux de recherche expérimentale et/ou de publication scientifique.

• Contribution à des projets open source, idéalement dans le domaine des langages ou des environnements d'exécution.

• Expérience avec des outils de profiling et de benchmark.

• Intérêt pour les environnements de développement interactifs et réflexifs.

• 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 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 selon profil