Voici la liste des propositions de stages disponibles, dans l’ordre chronologique des soumissions.
Pour choisir un stage, vous devez contacter l’encadrant(e) qui le propose ainsi que votre tuteur ou tutrice pour en discuter. Une fois le choix confirmé par ces derniers, merci de m’envoyer un mail en mettant en copie l’encadrant(e) du stage et votre tuteur ou tutrice afin de finaliser le processus de choix et d’enlever le stage de la liste.
Attention : Même si plusieurs sujets de stages sont disponibles avec un(e) même encadrant(e), un seul sujet sera pourvu, la règle étant : 1 étudiant(e) pour 1 encadrant(e), et réciproquement.
Dompter mutabilité et aliasing dans le langage de langage de spécification Gospel pour OCaml
Lieu : Inria Saclay
Encadré par : Armaël Guéneau
Contact : armael.gueneau [at] inria [dot] fr
Description : [pdf]
Système de fichiers efficace pour MirageOS
Lieu : Inria Saclay
Encadré par : Armaël Guéneau
Contact : armael.gueneau [at] inria [dot] fr
Description : [pdf]
Computability and Complexity Theory for Models of Very Deep Learning
Lieu : LIX, École Polytechnique, Palaiseau
Encadré par : Olivier Bournez
Contact : olivier.bournez [at] lix.polytechnique [dot] fr
Description : [pdf]
Programming with Ordinary Differential Equations and Continuous Time: Towards a programming language or pseudo-programming language
Lieu : LIX, École Polytechnique, Palaiseau
Encadré par : Olivier Bournez
Contact : olivier.bournez [at] lix.polytechnique [dot] fr
Description : [pdf]
Continuous time Analog machines and models of computation: Universal Ordinary Differential Equations
Lieu : LIX, École Polytechnique, Palaiseau
Encadré par : Olivier Bournez
Contact : olivier.bournez [at] lix.polytechnique [dot] fr
Description : [pdf]
TGVM: Live migration of virtual machines on heterogeneous processor architectures of the same ISA
Lieu : INP Grenoble
Encadré par : Alain Tchana
Contact : alain.tchana [at] grenoble-inp [dot] fr
Description : [pdf]
Sylvie: A unified library for kernel’s services hoisting to user-space
Lieu : INP Grenoble
Encadré par : Alain Tchana
Contact : alain.tchana [at] grenoble-inp [dot] fr
Description : [pdf]
Automatic Benchmark Generation
Lieu : Inria Lille
Encadré par : Guillermo Polito
Contact : guillermo.polito [at] univ-lille [dot] fr
Description : [pdf]
JIT Compiler Generation Through Meta-interpretation
Lieu : Inria Lille
Encadré par : Guillermo Polito
Contact : guillermo.polito [at] univ-lille [dot] fr
Description : [pdf]
High-level low-level transpilation tools
Lieu : Inria Lille
Encadré par : Guillermo Polito
Contact : guillermo.polito [at] univ-lille [dot] fr
Description : [pdf]
Differentially private queries for analysis of medical data
Lieu : Inria Lille
Encadré par : Jan Ramon
Contact : jan.ramon [at] inria [dot] fr
Description : [pdf]
Numerical inference of differential privacy guarantees
Lieu : Inria Lille
Encadré par : Jan Ramon
Contact : jan.ramon [at] inria [dot] fr
Description : [pdf]
Federated learning with untrusted server
Lieu : Inria Lille
Encadré par : Jan Ramon
Contact : jan.ramon [at] inria [dot] fr
Description : [pdf]
A pilot study for federated learning on oncological data
Lieu : Inria Lille
Encadré par : Jan Ramon
Contact : jan.ramon [at] inria [dot] fr
Description : [pdf]
Development with Eclipse Framework, Taste for formal approaches
Lieu : Telecom Paris, Sophia-Antipolis
Encadré par : Rabéa Ameur-Boulifa
Contact : rabea.ameur-boulifa [at] telecom-paris [dot] fr
Description : [pdf]
Symbolic-Model-Guided Fuzzing of Cryptographic Protocols
Lieu : Inria Nancy
Encadré par : Lucca Hirschi
Contact : lucca.hirschi [at] inria [dot] fr
Description : [pdf]
Ordered algebraic data types and systems programming languages
Lieu : Inria Nantes
Encadré par : Guillaume Munch-Maccagnoni
Contact : guillaume.munch-maccagnoni [at] inria [dot] fr
Description : [pdf]
Décomposition des systèmes dynamiques discrets déterministes selon le produit direct de graphes
Lieu : I3S, Sophia Antipolis
Encadré par : Enrico Formenti
Contact : enrico.formenti [at] unice [dot] fr
Description : [pdf]
Frustration index of signed graphs
Lieu : I3S, Sophia Antipolis
Encadré par : Adrien Richard
Contact : richard [at] unice [dot] fr
Description : [pdf]
A polynomial kernel for chordal edge deletion
Lieu : I3S, Sophia Antipolis
Encadré par : Christophe Crespelle
Contact : christophe.crespelle [at] univ-cotedazur [dot] fr
Description : [pdf]
Modélisation des réseaux complexes
Lieu : I3S, Sophia Antipolis
Encadré par : Christophe Crespelle
Contact : christophe.crespelle [at] univ-cotedazur [dot] fr
Description : [pdf]
Graph neural networks for on-chip communication interconnect design
Lieu : LIRMM, Montpellier
Encadré par : Gilles Sassatelli
Contact : gilles.sassatelli [at] lirmm [dot] fr
Description : [pdf]
On graph similarity analysis
Lieu : LIRMM, Montpellier
Encadré par : Abdoulaye Gamatié
Contact : abdoulaye.gamatie [at] lirmm [dot] fr
Description : [pdf]
Reproducibility study within ReproVIP using Grid’5000
Lieu : Insa Lyon, Villeurbanne
Encadré par : Sorina Pop
Contact : sorina.pop [at] creatis.insa-lyon [dot] fr
Description : [pdf]
Vers les spectraèdres p-adiques, définition et propriétés algorithmiques
Lieu : Université de Limoges
Encadré par : Tristan Vaccon
Contact : tristan.vaccon [at] unilim [dot] fr
Description : [pdf]
Symbolic-Model-Guided Fuzzing of Cryptographic Protocols
Lieu : Inria Nancy
Encadré par : Lucca Hirschi
Contact : lucca.hirschi [at] inria [dot] fr
Description : [pdf]
Arguments de terminaison avec l’assistant de preuve COQ (WQO with COQ)
Lieu : LaBRI, Bordeaux
Encadré par : Jérôme Leroux
Contact : leroux [at] labri [dot] fr
Description : [pdf]
Quantum algorithms and dynamic data structures
Lieu : IRIF, Paris
Encadré par : Simon Apers
Contact : apers [at] irif [dot] fr
Description : [pdf]
Analyse de la structure de réseaux ferrés (et du train-train des voyageurs)
Lieu : LAMSADE, Paris
Encadré par : Florian Sikora
Contact : florian.sikora [at] dauphine [dot] fr
Description : [pdf]
Generalising the 1-2-3 Conjecture to signed graphs
Lieu : LaBRI, Bordeaux
Encadré par : Hervé Hocquart
Contact : herve.hocquart [at] u-bordeaux [dot] fr
Description : [pdf]
Equivalence proofs for low-level cryptographic implementations
Lieu : Inria Nancy
Encadré par : Vincent Laporte
Contact : vincent.laporte [at] inria [dot] fr
Description : [pdf]
Fonction sinus en double précision avec arrondi correct
Lieu : Inria Nancy
Encadré par : Paul Zimmermann
Contact : paul.zimmermann [at] inria [dot] fr
Description : [pdf]
Classement collaboratif
Lieu : LAMSADE, Paris
Encadré par : Florian Sikora
Contact : florian.sikora [at] dauphine [dot] fr
Description : [pdf]
Energy/performance tradeoff in ML-enhanced high-speed networks
Lieu : Telecom Paris – Institut Polytechnique de Paris, Palaiseau
Encadré par : Leonardo Linguaglossa
Contact : linguaglossa [at] telecom-paris [dot] fr
Description : [pdf]
Analyse Statique de Programmes, sous Contraintes de Temps
Lieu : Inria, Lille
Encadré par : Raphaël Monat
Contact : raphael.monat [at] inria [dot] fr
Description : [pdf]
Software engineering and control theory for adaptive resources management
Lieu : Inria, Lille
Encadré par : Sophie Cerf
Contact : sophie.cerf [at] inria [dot] fr
Description : [pdf]
Parameterized complexity : A tool to handle multiobjective problems
Lieu : Université de Lille
Encadré par : Julien Baste
Contact : julien.baste [at] univ-lille [dot] fr
Description : [pdf]
Apprentissage automatique pour construire un automate à partir de ses traces
Lieu : Inria, Rennes
Encadré par : Éric Fabre
Contact : eric.fabre [at] inria [dot] fr
Description : [pdf]
Scientific Machine Learning for World Dynamics Modeling
Lieu : Inria, Sophia Antipolis
Encadré par : Emanuele Natale
Contact : emanuele.natale [at] inria [dot] fr
Description : [pdf]
Algorithmes quantiques pour l’algèbre linéaire
Lieu : Inria, Nancy
Encadré par : Xavier Bonnetain
Contact : xavier.bonnetain [at] inria [dot] fr
Description : [pdf]
Lissage de maillages surfaciques via parameterization globale
Lieu : Inria, Nancy
Encadré par : Dmitry Sokolov
Contact : dmitry.sokolov [at] univ-lorraine [dot] fr
Description : [pdf]
Towards a Wave Field Synthesis Library for the Faust Programming Language
Lieu : INSA, Lyon
Encadré par : Romain Michon
Contact : romain.michon [at] inria [dot] fr
Description : [pdf]
Decentralized Clustered Federated Learning
Lieu : Inria, Sophia Antipolis
Encadré par : Giovanni Neglia
Contact : giovanni.neglia [at] inria [dot] fr
Description : [pdf]
Federated Learning for Heterogeneous Model Architectures
Lieu : Inria, Sophia Antipolis
Encadré par : Giovanni Neglia
Contact : giovanni.neglia [at] inria [dot] fr
Description : [pdf]
Application de techniques d’apprentissage pour la détermination automatique de la résolution de souris
Lieu : Inria, Lille
Encadré par : Géry Casiez
Contact : gery.casiez [at] univ-lille [dot] fr
Description : [pdf]
Apprentissage Automatique dans un Jeu Dynamique avec Information Incomplète
Lieu : Inria, Grenoble
Encadré par : Bruno Gaujal
Contact : bruno.gaujal [at] inria [dot] fr
Description : [pdf]
Problème d’ordonnancement pour la technologie LoRa
Lieu : Inria, Sophia Antipolis
Encadré par : Christelle Caillouet
Contact : christelle.caillouet [at] inria [dot] fr
Description : [pdf]
Visualization of hyperbolic surfaces
Lieu : Inria, Nancy
Encadré par : Vincent Despré
Contact : vincent.despre [at] loria [dot] fr
Description : [pdf]
Structured representation learning using geometrical groups for human-inspired AI
Lieu : Université Paris-Saclay, Orsay
Encadré par : David Rudrauf
Contact : david.rudrauf [at] universite-paris-saclay [dot] fr
Description : [pdf]
CanaryMining : Analyse de chants de canaris et décodage d’activités de neurones
Lieu : Inria, Bordeaux
Encadré par : Xavier Hinaut
Contact : xavier.hinaut [at] inria [dot] fr
Description : [pdf]
Consistent edge weights on complete graphs
Lieu : INP, Grenoble
Encadré par : Alantha Newman
Contact : alantha.newman [at] grenoble.inp [dot] fr
Description : [pdf]
Model learning and validation from spatio-temporal data
Lieu : Inria, Nancy
Encadré par : Radu Stoica
Contact : radu-stefan.stoica [at] univ-lorraine [dot] fr
Description : [pdf]
Transport Optimal pour la Cosmologie
Lieu : Inria, Nancy
Encadré par : Bruno Levy
Contact : bruno.levy [at] inria [dot] fr
Description : [pdf]
Substitutions et k-reconnaissabilité dans les automates cellulaires unilatères
Lieu : Université d’Orléans
Encadré par : Martin Delacourt
Contact : martin.delacourt [at] univ-orleans [dot] fr
Description : [pdf]
Bornes inférieures pour la largeur de coupe des graphes
Lieu : Inria, Sophia Antipolis
Encadré par : David Coudert
Contact : david.coudert [at] inria [dot] fr
Description : [pdf]
Calcul de plus courts chemins dans des graphes pondérés paramétrés
Lieu : Aix-Marseille Université, Marseille
Encadré par : Benjamin Monmege
Contact : benjamin.monmege [at] lis-lab [dot] fr
Description : [pdf]
Configuration automatique de réseaux privés virtuels grâce à une table de hachage distribuée
Lieu : Télécom SudParis, Évry et Palaiseau
Encadré par : Rémy Grünblatt
Contact : remy [at] grunblatt [dot] org
Description : [pdf]
![[Logo CNRS]](wp-content/uploads/2020/05/cnrs.svg)
![[Logo ENS de Lyon]](wp-content/uploads/2020/05/ensl.svg)
![[Logo Inria]](wp-content/uploads/2020/05/inria.svg)
![[Logo LIP]](wp-content/uploads/2020/05/lip.svg)
![[Logo UCB Lyon 1]](wp-content/uploads/2020/05/ucbl.svg)
![[Logo Université de Lyon]](wp-content/uploads/2020/05/udl.svg)
![[Logo Labex MILYON]](wp-content/uploads/2020/05/milyon.svg)
![[Logo Fédération Informatique de Lyon]](wp-content/uploads/2020/05/fil.svg)