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

    Anciens stages proposés

    • 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

    • 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

    • 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

    • 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

    • 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

    • 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

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

    • 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

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

    • 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

    • 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

    • 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

    • 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

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

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

    • 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

    pres

    w3c-xhtml