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 :

  • Implémentation et évaluation d'un algorithme d'apprentissage automatique pour la découverte automatique de connaissances biologiques
    Description : PDF
    Durée : 2 mois
    Dates : du 09/06/2017 au 08/08/2017
    Encadrant : COUTANT Anthony

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

pres

w3c-xhtml