lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Offres de stage

Voici la liste des stages proposés au LIPN :

    Anciens stages proposés

    • Creative telescoping et fonctions holonomes
      Durée : 15 jours
      Dates : du 01/07/2014 au 16/07/2014
      Encadrant : BODINI Olivier

    • Génération aléatoire d'arbres croissants
      Durée : 1 mois
      Dates : du 23/06/2014 au 23/07/2014
      Encadrant : BODINI Olivier

    • Programmation de robots, quels paradigmes ? Travail exploratoire autour d'un robot autonome
      Durée : 2 mois
      Dates : du 04/06/2014 au 04/08/2014
      Encadrant : BOUDES Pierre

    • Etude de la mise en place d'un entrepot de données
      Durée : 3 mois
      Dates : du 15/05/2014 au 15/08/2014
      Encadrant : FORTIER Michael

    • Optimisation d'une routine de communication collective pour POSH
      Durée : 3 mois
      Dates : du 01/07/2014 au 01/10/2014
      Encadrant : COTI Camille

    • Utilisation d'une bibliothèque de communications à hautes performances pour POSH
      Durée : 3 mois
      Dates : du 01/07/2014 au 01/10/2014
      Encadrant : COTI Camille

    • Formalism and model repository in CosyVerif
      Durée : 5 mois
      Dates : du 05/05/2014 au 05/10/2014
      Encadrant : PETRUCCI Laure

    • Vérification formelle d'un protocole de routage distribué pour réseaux de capteurs sans fil à large échelle
      Durée : 6 mois
      Dates : du 21/04/2014 au 21/10/2014
      Encadrant : PETRUCCI Laure

    • Vérification distribuée de systèmes temps-réel
      Durée : 6 mois
      Dates : du 01/05/2014 au 01/11/2014
      Encadrant : ANDRE Etienne

    • Essai de dépôt de stage
      Durée : 7 jours
      Dates : du 23/12/2014 au 30/12/2014
      Encadrant : PETRUCCI Laure

    • Visualisation de graphe de voisinage : étude et implémentation
      Durée : 4 mois
      Dates : du 01/02/2015 au 01/06/2015
      Encadrant : AZZAG Hanene

    • Sécurité niveau 2
      Durée : 3 mois
      Dates : du 13/04/2015 au 19/06/2015
      Encadrant : FORTIER Michael

    • Réseaux de neurones récursifs pour l'analyse en dépendances "Easy-First"
      Durée : 1 mois
      Dates : du 25/05/2015 au 25/06/2015
      Encadrant : TOMEH Nadi

    • Minimisation énergétique dans le cloud - parallélisation de code
      Durée : 5 mois
      Dates : du 01/02/2015 au 01/07/2015
      Encadrant : CéRIN Christophe

    • L'intersection des automates d'arbres multiples
      Durée : 2 mois
      Dates : du 25/05/2015 au 25/07/2015
      Encadrant : DAVID Julien

    • Vérification distribuée de systèmes temps-réel
      Durée : 6 mois
      Dates : du 01/02/2015 au 01/08/2015
      Encadrant : ANDRE Etienne

    • Vérification Modulaire de propriétés LTL sur les réseaux de Petri
      Durée : 6 mois
      Dates : du 01/02/2015 au 01/08/2015
      Encadrant : KLAI Kais

    • Visioconference
      Durée : 3 mois
      Dates : du 01/05/2015 au 01/08/2015
      Encadrant : FORTIER Michael

    • Développement d'un outil d'extraction dans les textes biomédicaux
      Durée : 1 mois
      Dates : du 03/07/2015 au 03/08/2015
      Encadrant : CHARNOIS Thierry

    • Réseaux de neurones récursifs pour l'analyse en dépendances "Easy-First"
      Durée : 3 mois
      Dates : du 18/05/2015 au 18/08/2015
      Encadrant : TOMEH Nadi

    • Modèles de mélanges et visualisation de données massives
      Durée : 6 mois
      Dates : du 01/03/2015 au 01/09/2015
      Encadrant : AZZAG Hanene

    • Vérification formelle de systèmes concurrents à l'aide de dépliages partiellement observables
      Durée : 6 mois
      Dates : du 01/03/2015 au 01/09/2015
      Encadrant : RODRIGUEZ Cesar

    • Caractérisation des genres discursifs par la méthode des motifs séquentiels
      Durée : 6 mois
      Dates : du 01/03/2015 au 01/09/2015
      Encadrant : CHARNOIS Thierry

    • Formalisation et preuve en Coq de la préservation de la normalisation forte pour le calcul de substitutions linéaires (suite)
      Durée : 3 mois
      Dates : du 01/06/2015 au 01/09/2015
      Encadrant : MAYERO Micaela

    • Développement d'une application de déploiement
      Durée : 3 mois
      Dates : du 01/06/2015 au 01/09/2015
      Encadrant : PETRUCCI Laure

    • Generic Collaborative Web Client and Editor
      Durée : 5 mois
      Dates : du 10/04/2015 au 10/09/2015
      Encadrant : PETRUCCI Laure

    • Emplois du temps CalDav sur serveurs immutables
      Durée : 2 mois
      Dates : du 10/07/2015 au 10/09/2015
      Encadrant : BOUDES Pierre

    • Extension d'un outil de Vérification de Procédés Inter-entreprises et son Intégration à la plateforme de CosyVerif
      Durée : 6 mois
      Dates : du 15/03/2015 au 15/09/2015
      Encadrant : KLAI Kais

    • GÉNÉRATION ALÉATOIRE UNIFORME EFFICACE DE TRÈS GRANDS ARBRES CROISSANTS
      Durée : 6 mois
      Dates : du 15/03/2015 au 15/09/2015
      Encadrant : BODINI Olivier

    • ALGORITHMES PROBABILISTES POUR LA FOUILLE QUANTITATIVE DE GRANDES  MASSES DE DONNÉES
      Durée : 6 mois
      Dates : du 16/03/2015 au 16/09/2015
      Encadrant : BODINI Olivier

    • Travaux de mise au point d'un gestionnaire de corpus en ligne
      Durée : 4 mois
      Dates : du 19/05/2015 au 19/09/2015
      Encadrant : CARTIER Emmanuel

    • Clustering incrémental pour données évolutives
      Durée : 4 mois
      Dates : du 29/05/2015 au 29/09/2015
      Encadrant : CABANES Guénaël

    • Travaux de linguistique et linguistique informatique dans le cadre du projet Neoveille
      Durée : 4 mois
      Dates : du 02/06/2015 au 30/09/2015
      Encadrant : CARTIER Emmanuel

    • Sélection d'ensemble pour la détection de communautés dans les réseaux complexes
      Durée : 6 mois
      Dates : du 01/04/2015 au 01/10/2015
      Encadrant : KANAWATI Rushed

    • Portail Etamine
      Durée : 6 mois
      Dates : du 01/04/2015 au 01/10/2015
      Encadrant : FORTIER Michael

    • Programmation et modélisation d'économies monétaires complexes
      Durée : 6 mois
      Dates : du 01/04/2015 au 01/10/2015
      Encadrant : BOUDES Pierre

    • Modélisation et vérification de contrats 4D
      Durée : 4 mois
      Dates : du 04/06/2015 au 04/10/2015
      Encadrant : CHOPPY Christine

    • Apprentissage non Supervisé pour l'Analyse de Séquences. Application aux données ADN
      Durée : 2 mois
      Dates : du 11/04/2016 au 11/06/2016
      Encadrant : CABANES Guénaël

    • Etamine - portage sous BSD
      Durée : 2 mois
      Dates : du 11/04/2016 au 18/06/2016
      Encadrant : FORTIER Michael

    • Multiport Interaction Nets and Event Structures
      Durée : 3 mois
      Dates : du 18/04/2016 au 18/07/2016
      Encadrant : MAZZA Damiano

    • pdf2txt++
      Durée : 3 mois
      Dates : du 18/04/2016 au 18/07/2016
      Encadrant : ZARGAYOUNA Haïfa

    • solR++
      Durée : 3 mois
      Dates : du 18/04/2016 au 18/07/2016
      Encadrant : ZARGAYOUNA Haïfa

    • Dual de quelques algèbres de Hopf combinatoires
      Durée : 2 mois
      Dates : du 17/05/2016 au 21/07/2016
      Encadrant : DUCHAMP Gérard

    • Plateforme d’accès sémantique en philosophie
      Durée : 4 mois
      Dates : du 01/04/2016 au 01/08/2016
      Encadrant : ZARGAYOUNA Haïfa

    • Etude expérimentale sur la rationalité des automates à pile
      Durée : 2 mois
      Dates : du 01/06/2016 au 01/08/2016
      Encadrant : DAVID Julien

    • Outil support de la hiérarchie dans les machines à états
      Durée : 2 mois
      Dates : du 01/06/2016 au 01/08/2016
      Encadrant : CHOPPY Christine

    • Régularisation de structures pour l’apprentissage supervisé structuré
      Durée : 2 mois
      Dates : du 01/06/2016 au 01/08/2016
      Encadrant : TOMEH Nadi

    • Formalismes dans la plateforme CosyVerif
      Durée : 2 mois
      Dates : du 01/06/2016 au 01/08/2016
      Encadrant : LEPRIEUR Hugues

    • Impl´ementation et comparaison d’algorithmes d’apprentissage automatique pour la d´ecouverte de connaissances biologiques
      Durée : 3 mois
      Dates : du 02/05/2016 au 02/08/2016
      Encadrant : COUTANT Anthony

    • Apprentissage profond pour la robotique
      Durée : 3 mois
      Dates : du 04/05/2016 au 04/08/2016
      Encadrant : GUéRIF Sébastien

    • Annotation de relations sémantiques 1
      Durée : 3 mois
      Dates : du 17/05/2016 au 17/08/2016
      Encadrant : GABOR Kata

    • Annotation de relations sémantiques 2
      Durée : 3 mois
      Dates : du 17/05/2016 au 17/08/2016
      Encadrant : GABOR Kata

    • Reoptimisation
      Durée : 4 mois
      Dates : du 20/04/2016 au 20/08/2016
      Encadrant : WOLFLER Roberto

    • Fusion d’algorithmes d’apprentissages de séparateurs linéaires discrets. Application à la métagénomique
      Durée : 4 mois
      Dates : du 25/04/2016 au 25/08/2016
      Encadrant : CHEVALEYRE Yann

    • Strong normalisation for simply typed ?-calculus: a quest for new combinatorial proofs
      Durée : 6 mois
      Dates : du 01/03/2016 au 01/09/2016
      Encadrant : GUERRINI Stefano

    • Formalisation et preuve en Coq de la préservation de la normalisation forte pour le calcul de substitutions linéaires (suite)
      Durée : 3 mois
      Dates : du 01/06/2016 au 01/09/2016
      Encadrant : MAYERO Micaela

    • Méthodes de décomposition en programmation quadratique convexe en variables mixtes
      Durée : 5 mois
      Dates : du 04/04/2016 au 04/09/2016
      Encadrant : LETOCART Lucas

    • Parameter synthesis in Parametric Interval Markov Chains
      Durée : 6 mois
      Dates : du 08/03/2016 au 08/09/2016
      Encadrant : PETRUCCI Laure

    • Formalismes dans la plateforme CosyVerif
      Durée : 2 mois
      Dates : du 11/07/2016 au 11/09/2016
      Encadrant : LEPRIEUR Hugues

    • Génération aléatoire de polytopes entiers et applications
      Durée : 5 mois
      Dates : du 02/05/2016 au 30/09/2016
      Encadrant : DAVID Julien

    • Apprentissage non supervisé profond de représentations de données évolutives par factorisation matricielle
      Durée : 3 mois
      Dates : du 30/06/2016 au 30/09/2016
      Encadrant : BENNANI Younès

    • Apprentissage non supervisé à partir de similarité pour l'analyse de données massives et complexes
      Durée : 6 mois
      Dates : du 01/04/2016 au 01/10/2016
      Encadrant : CABANES Guénaël

    • Fouille de réseaux multiplexes pour l'analyse des interactions entre entreprises
      Durée : 6 mois
      Dates : du 01/04/2016 au 01/10/2016
      Encadrant : KANAWATI Rushed

    • Réingénierie du site web de l'association pour le Traitement Automatique des Langues
      Durée : 6 mois
      Dates : du 01/04/2016 au 01/10/2016
      Encadrant : GARCIA FLORES Jorge

    • Extraction dynamique des connaissances pour la détection des opinions
      Durée : 6 mois
      Dates : du 01/04/2016 au 01/10/2016
      Encadrant : GROZAVU Nistor

    • Apprentissage quantique en grande dimension
      Durée : 6 mois
      Dates : du 01/04/2016 au 01/10/2016
      Encadrant : MATEI Basarab

    • Factorisation matricielle multi-échelle non-linéaire
      Durée : 6 mois
      Dates : du 05/04/2016 au 05/10/2016
      Encadrant : BENNANI Younès

    • Abstraction et raffinement de réseaux de Petri de haut niveau
      Durée : 6 mois
      Dates : du 11/04/2016 au 11/10/2016
      Encadrant : CHOPPY Christine

    • Implantation d’outils de visualisation et de maintenance d’une base SQL
      Durée : 1 mois
      Dates : du 24/04/2017 au 23/05/2017
      Encadrant : LEJEUNE GAEL

    • Apprentissage actif à base de cartes auto-organisatrices
      Durée : 2 mois
      Dates : du 01/04/2017 au 01/06/2017
      Encadrant : MATEI Basarab

    • pavages substitutifs vs pavages par coupe et projection
      Durée : 5 mois
      Dates : du 01/02/2017 au 01/07/2017
      Encadrant : FERNIQUE Thomas

    • Construction d’une interface utilisateur pour un service web de “automated sentence similarity”.
      Durée : 1 mois
      Dates : du 15/06/2017 au 14/07/2017
      Encadrant : GANGEMI Aldo

    • Ordonnancement de conteneurs
      Durée : 5 mois
      Dates : du 15/02/2017 au 15/07/2017
      Encadrant : CéRIN Christophe

    • Nouvelles inégalités quadratiques pour le problème du Stable
      Durée : 2 mois
      Dates : du 22/05/2017 au 21/07/2017
      Encadrant : ROUPIN Frédéric

    • Modélisation UML pour une application d'insertion de drone dans un espace aérien contrôlé
      Durée : 2 mois
      Dates : du 29/05/2017 au 28/07/2017
      Encadrant : CHOPPY Christine

    • Paramétrisation CRF neuronale pour les analyseurs en dépendances
      Durée : 2 mois
      Dates : du 31/05/2017 au 30/07/2017
      Encadrant : TOMEH Nadi

    • Mathématiques expérimentales en physique, combinatoire et théorie des nombres : d'Euler à Apéry
      Durée : 3 mois
      Dates : du 01/05/2017 au 31/07/2017
      Encadrant : BANDERIER Cyril

    • Visualization et annotation sémantiques complexes par l'outil BRAT.
      Durée : 2 mois
      Dates : du 01/06/2017 au 31/07/2017
      Encadrant : GANGEMI Aldo

    • Spectral graph analysis for data placement in distributed systems
      Durée : 5 mois
      Dates : du 01/03/2017 au 01/08/2017
      Encadrant : ROUPIN Frédéric

    • Extraction et classification automatique de relations sémantiques entre concepts (scientifiques)
      Durée : 5 mois
      Dates : du 01/03/2017 au 01/08/2017
      Encadrant : CHARNOIS Thierry

    • Refonte du site web du LIPN
      Durée : 4 mois
      Dates : du 01/04/2017 au 01/08/2017
      Encadrant : PETRUCCI Laure

    • Modèles combinatoires de gravité quantique en dimensions 2 et 3
      Durée : 2 mois
      Dates : du 12/06/2017 au 11/08/2017
      Encadrant : BONZOM Valentin

    • Annotation sémantique de BSV
      Durée : 6 mois
      Dates : du 15/02/2017 au 15/08/2017
      Encadrant : ZARGAYOUNA Haïfa

    • Mean-shift Clustering for Heterogeneous Architectures
      Durée : 6 mois
      Dates : du 15/02/2017 au 15/08/2017
      Encadrant : LEBBAH Mustapha

    • Propriétés d'intégralités du polytope des couplages
      Durée : 3 mois
      Dates : du 29/05/2017 au 28/08/2017
      Encadrant : GRAPPE Roland

    • Etude combinatoire des arbres croissants avec répétition
      Durée : 6 mois
      Dates : du 01/03/2017 au 01/09/2017
      Encadrant : BODINI Olivier

    • Analyse Diachronique de Corpus
      Durée : 4 mois
      Dates : du 02/05/2017 au 01/09/2017
      Encadrant : LEJEUNE GAEL

    • Génération aléatoire uniforme dans les langages intrinsèquement ambigus
      Durée : 5 mois
      Dates : du 15/04/2017 au 14/09/2017
      Encadrant : BODINI Olivier

    • Anonymisation des données utilisant des techniques d’apprentissage non-supervisé
      Durée : 6 mois
      Dates : du 20/03/2017 au 19/09/2017
      Encadrant : GROZAVU Nistor

    • Vérification formelle de processus métier configurables
      Durée : 6 mois
      Dates : du 01/04/2017 au 30/09/2017
      Encadrant : KLAI Kais

    • Analyse des pleurs et reconnaissance de l'inconfort du nourrisson
      Durée : 6 mois
      Dates : du 01/04/2017 au 30/09/2017
      Encadrant : OSMANI Aomar

    • Analyse en moyenne de la d ?eterminisation d’automates non-d ?eterministes
      Durée : 6 mois
      Dates : du 01/04/2017 au 01/10/2017
      Encadrant : DAVID Julien

    • Apprentissage topologique semi-supervisé multi-labels
      Durée : 6 mois
      Dates : du 01/04/2017 au 01/10/2017
      Encadrant : CABANES Guénaël

    • Réseaux de neurones avec attention pour la correction d'orthographe et de grammaire
      Durée : 6 mois
      Dates : du 03/04/2017 au 02/10/2017
      Encadrant : TOMEH Nadi

    • Extraction dynamique des connaissances pour la détection des sentiments
      Durée : 6 mois
      Dates : du 03/04/2017 au 03/10/2017
      Encadrant : GROZAVU Nistor

    • L’apprentissage artificiel au service de la Qualité des données
      Durée : 6 mois
      Dates : du 10/04/2017 au 09/10/2017
      Encadrant : BOUFARèS Faouzi

    • Apprentissage de Représentations par les Generatives Adversarial Network
      Durée : 5 mois
      Dates : du 10/05/2017 au 09/10/2017
      Encadrant : MATEI Basarab

    pres

    w3c-xhtml