Accueil > Recherche > Stages/emplois

Stages/emplois

Dernier ajout : 28 septembre 2021.

Cette section contient des offres de stages, emplois et thèses dans lesquels je suis impliqué.

Articles de cette rubrique

  • [TAKEN] Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)

    Laboratory : Verimag (http://www-verimag.imag.fr/) Team : SYNCHRONE (http://www-verimag.imag.fr/SYNCHRONE) Supervisor : Matthieu Moy <Matthieu.Moy@imag.fr> Scientific Context The silicon industry is widely adopting a methodology called Transaction-Level Modeling (TLM), that consists essentially in writing abstract, but yet executable models the hardware contained in a Chip. SystemC is a C++ library used for the description of SoCs at different levels of abstraction, including TLM. It comes with a simulation environment, and became a standard (IEEE 1666). SystemC offers a set of (...)
    Lire la suite...
  • [CANCELED] [M2 Research] Code Generation for Simulation of Parallel Process Networks

    Lire la suite...
  • [CANCELED][Thèse] Vérification formelle de réseaux de processus comme représentation intermédiaire d’un compilateur

    https://jobs.inria.fr/public/classic/fr/offres/2018-00436
    Lire la suite...
  • [PRIS] Programmation parallèle pour la modélisation des systèmes embarqués

    Ce sujet est déjà pris et n'est conservé que pour référence Laboratoire : Verimag Équipe : Équipe SYNCHRONE Encadrant : Matthieu.Moy@imag.fr Thème général SystemC est une bibliothèque pour C++ qui permet de modéliser des systèmes matériels complexes. C'est devenu un outil incontournable dans la conception des systèmes sur puces (contenus dans des téléphones portables, télévision numériques, ...). Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »). La simulation coopérative apporte (...)
    Lire la suite...
  • [PRIS] Simulation distribuée pour les systèmes embarqués

    Ce sujet est déjà pris et n'est conservé que pour référence Laboratoire : Verimag Équipe : Équipe SYNCHRONE Encadrant : Matthieu.Moy@imag.fr Thème général SystemC est une bibliothèque pour C++ qui permet de modéliser des systèmes matériels complexes. C'est devenu un outil incontournable dans la conception des systèmes sur puces (contenus dans des téléphones portables, télévision numériques, ...). Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »). La simulation coopérative apporte (...)
    Lire la suite...
  • [TAKEN] Visualisation graphique de traces de simulation de systèmes sur puces

    Ce sujet est déjà pris et n'est gardé que pour mémoire Encadrant : Matthieu Moy Matthieu.Moy@imag.fr Thème général Les systèmes embarqués modernes (smartphones, box de fournisseurs d’accès internet, ...) sont réalisés avec un mélange de logiciel et de matériel, développés l’un pour l’autre. Étant donné la complexité de ces systèmes, il n’est plus possible aujourd’hui d’attendre la disponibilité du matériel pour développer le logiciel, et il est donc nécessaire d’utiliser des simulateurs. Le laboratoire Verimag travaille depuis une dizaine d’années avec STMicroelectronics sur le simulateur SystemC (basé sur (...)
    Lire la suite...
  • [PRIS] Optimisations de performances de simulateurs sur machines multi-cœurs

    Ce sujet est déjà pris et n'est conservé que pour référence Laboratoire : Verimag (http://www-verimag.imag.fr/) Équipe : SYNCHRONE (http://www-verimag.imag.fr/SYNCHRONE) Encadrants : Matthieu Moy <Matthieu.Moy@imag.fr> Contexte Scientifique Les systèmes embarqués modernes (smartphones, box de fournisseurs d’accès internet, …) sont réalisés avec un mélange de logiciel et de matériel, développés l’un pour l’autre. Étant donné la complexité de ces systèmes, il n’est plus possible aujourd’hui d’attendre la disponibilité du matériel pour développer le logiciel, et il est donc nécessaire d’utiliser des (...)
    Lire la suite...
  • [PRIS] Simulation coopérative et parallèle : expérimentations sur le scheduler SystemC

    Proposition de stage de Master Recherche

    Ce sujet est déjà pris, et gardé ici seulement pour archive. laboratoire : Verimag equipe : Équipe SYNCHRONE encadrants : Matthieu.Moy@imag.fr, Claire.Maiza@imag.fr Thème général SystemC est une bibliothèque pour C++ qui permet de modéliser des systèmes matériels complexes (typiquement, les systèmes sur puces contenus dans des téléphones portables, télévision numériques, ...). Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »). La simulation coopérative apporte un certain (...)
    Lire la suite...
  • [PRIS] Techniques de compilation dédiées pour le simulateur SystemC (basé sur LLVM)

    Sujet de stage M1 ou M2

    Ce sujet est déjà pris, et gardé ici seulement pour archive. Laboratory : Verimag (http://www-verimag.imag.fr/) Team : SYNCHRONE (http://www-verimag.imag.fr/SYNCHRONE) Supervisor : Matthieu Moy <Matthieu.Moy@imag.fr> Scientific Context The silicon industry is widely adopting a methodology called Transaction-Level Modeling (TLM), that consists essentially in writting abstract, but yet executable models the hardware contained in a Chip. SystemC is a C++ library used for the description of SoCs at different levels of abstraction, including TLM. It comes with a simulation (...)
    Lire la suite...
  • [PRIS] Simulation coopérative et parallèle : expérimentations avec le scheduler SystemC

    Proposition de stage TER

    Ce sujet est déjà pris, et gardé ici seulement pour archive. laboratoire : Verimag equipe : Équipe SYNCHRONE encadrants : Matthieu.Moy@imag.fr, Claire.Maiza@imag.fr Thème général SystemC est une bibliothèque pour C++ qui permet de modéliser des systèmes matériels complexes (typiquement, les systèmes sur puces contenus dans des téléphones portables, télévision numériques, ...). Le parallélisme du système modélisé est exprimé avec des processus SystemC, qui s'exécutent séquentiellement pendant la simulation (on parle de simulation « coopérative »). La simulation coopérative apporte un certain (...)
    Lire la suite...
  • Applying Symbolic Model-Checking Techniques to Circuit Electric Verification

    Aniah is a Start-up that offers tools for analyzing semiconductor manufacture circuits. Aniah has introduced algorithms that significantly pushes the boundaries of the size of analyzable circuits, from a few hundred thousand elements to several trillion. Aniah is starting a collaboration with the Laboratoire de l’Informatique du Parallélisme (LIP) and the Verimag laboratory to consolidate and generalize its approach by supplementing its practical results with a theoretical backbone. One of the objectives of this study is to explore the applicability of state-of-the-art model-checking (...)
    Lire la suite...
  • Theoretical complexity of graph-analysis for electrical circuit error detection

    Collaboration between LIP and the Aniah Startup.

    Aniah is a Start-up that offers tools for analyzing semiconductor manufacture circuits. Aniah has introduced algorithms relying on hierarchical graph decompositions that significantly pushes the boundaries of the size of analyzable circuits, from a few hundred thousand elements to several trillion. Aniah is collaborating with the Laboratoire de l’Informatique du Parallélisme (LIP) to consolidate and generalize its approach by supplementing its practical results with a theoretical backbone. The overall goal of the internship is to study the theoretical complexity of existing algorithms, (...)
    Lire la suite...
  • Intégration de la forge logicielle open-source Tuleap avec d’autres services (Mattermost, Zappier, ...)

    Tuleap est une forge open-source développée par l’entreprise Enalean (dont les bureaux sont à Crolles et Chambéry). Même si Tuleap est développé majoritairement par l’entreprise Enalean, il s’agit d’un logiciel libre que n’importe qui peut utiliser, modifier, redistribuer. Tuleap est un outil de génie logiciel complet dont le but est d’aider les équipes à mieux faire leurs projets. La mission d’Enalean est de fournir les outils pour permettre à ses utilisateurs de mieux développer, plus rapidement et facilement. Enalean nous a proposé deux sujets qui ont pour but de faciliter l’accès Tuleap via des (...)
    Lire la suite...
  • Compilation et logiciel libre : Compiler efficacement du Python (pythran)

    Ce stage est co-encadré par Serge Guelton, développeur principal de l’outil pythran, et également développeur et packager de l’infrastructure de compilation LLVM. Python est un langage typé dynamiquement. Le typage dynamique permet une certaine flexibilité et une syntaxe très légère, qui rendent Python très populaire. Python est en particulièrement très utilisé pour faire du calcul numérique (calcul matriciel, ...). Malheureusement le typage dynamique est aussi un gros handicap en terme de performances. Il y a plusieurs manières classiques de contourner ce problème : – Prototyper en Python, et (...)
    Lire la suite...
  • Compilation et logiciel libre : Ajout de règles de sécurité à l’outil scan-build (composant de clang/LLVM)

    Ce POM est co-encadré avec Serge Guelton, développeur LLVM et packager de l’outil pour la distribution RedHat. LLVM est une infrastructure de compilation open-source, sur laquelle est basée le compilateur clang et beaucoup d’outils, comme scan-build. scan-build est un outil d’analyse statique de code C++, qui permet de trouver automatiquement certains problèmes. C’est un bon complément au test, car l’analyse statique permet parfois de trouver des problèmes très difficiles à trouver par le test. En comparaison d’outils comme checkstyle, scan-build fait des analyses sur le comportement du programme, (...)
    Lire la suite...
  • Un Enigma moderne

    Sujet déjà réservé pour Tom Montauriol. Boîte de chiffrement / déchiffrement sur raspberry pi. Le principe : on insère une clé USB avec les documents à chiffrer / déchiffrer dessus et après on fournit la clé de chiffrement. Si la clé USB n’est pas chiffrée quand on l’insère, elle l’est quand on la retire. Si la clé USB est chiffrée quand on l’insère, elle ne l’est plus quand on la retire. Pour fournir la clé de chiffrement plusieurs solutions : - Une autre clé USB avec la clé dessus (ou plusieurs USB avec des fragments de la même clé, ou juste plusieurs clés) - On scanne un QR code qui représente la (...)
    Lire la suite...
  • Workflow vs. Dataflow : Concepts, défis et simulation pour le calcul haute performance

    Lire la suite...
  • [TAKEN] Implementation and experimentation of dataflow explicit futures

    Lire la suite...
  • [TAKEN] [M2 Research] Scalability of the interference analysis for a multi-core platform

    Lire la suite...
  • [M2 Research] Interference analysis for the new Kalray MPPA3 many-core

    Lire la suite...

  • 1
  • 2

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License