Stages de la spécialité STL

Cette rubrique présente les propositions de stages pour le parcours STL du master informatique de Sorbonne Université. Les stages individuels proposés ci-après sont considérés comme validés par la formation. Pour les stages proposés par le biais de catalogues, ils ne seront validés qu’un à un car ces catalogues incluent souvent la la fois des propositions qui collent et qui ne collent pas avec les connaissances et compétences attendues en STL ; si vous souhaitez choisir un de ces stages, il faudra demander sa validation explicite à votre référent.


Transparents de la présentation du 24/10/2019 -

Vous avez maintenant toutes les informations pour la recherche de stage. Un nouvelle réunion sera planifiée fin novembre pour compléter avec le déroulement du stage.

Liste chronologique des 33 sujets proposés
les sujets sur fond coloré sont déjà attribués
L

Pour passer du mode abrégé au mode étendu, cliquer sur le bouton ci-dessus.
Pour être prévenu des stages annoncés tardivement, utiliser le fil RSS: il est spécifique à cette rubrique.
Pour ne lister que les stages associés à un mot-clé, cliquer sur une occurrence des mot-clés apparaissant en mode étendu sous le titre des stages.

1. Globalis : Rationalisation et publication de données Open Data


Site : Globalis
Lieu : Paris XVè arrondissement
Encadrant : À voir avec l'entreprise (recrutement@globalis-ms.com)
Dates :du 10/02/2020 au 28/08/2020
Rémunération :1000€/mois + prime de résultat


Proposition de stage Globalis

2. IPPON : 3 propositions + catalogue


Site : Site d’IPPON
Lieu : Paris, mais possibilités en province également.
Encadrant : À voir avec l'entreprise.
Dates :du 10/02/2020 au 28/08/2020
Rémunération :1200 à 1400€/mois selon expérience


Stage Open PIM

Stage JSON API Server

Stage JHipster

3. AdaCore : catalogue des propositions de stage 2020


Site : AdaCore
Lieu : Paris et province, selon le propositions.
Encadrant : Voir les propositions.
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à voir avec l’entreprise


Catalogue de stages AdaCore 2020

4. Safety Line : développeur « full stack »


Site : Site de Safety Line
Lieu : Paris
Encadrant : à voir avec l'entreprise
Dates :10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise


Stage Safety Line

5. CEA : trois stages autour des blockchains


Site : Laboratoire LIST CEA
Lieu : CEA Saclay
Encadrant : voir les descriptions des stages
Dates :10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise


Stage CEA Fabrication additive

Stage CEA Prévention des forks

Stage CEA Blockchain équitable

6. Expertime : développeur « full stack »


Site : Expertime
Lieu : Viroflay
Encadrant : à voir avec l'entreprise
Dates :10/02/2020 au 28/08/2020
Rémunération :1500€/mois


Stage Expertime développeur full stack

7. BeSport : deux propositions de stage


Site : BeSport
Lieu : Paris
Encadrant : à voir avec l'entreprise
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise


Stage BeSport développeur - ingénieur données

Stage BeSport programmeur fonctionnel

8. Clearsy : catalogue de stages 2020


Site : Clearsy
Lieu : à vérifier dans les descriptions des stages (possibilités: Paris, Aix en Provence, Lyon, Strasbourg)
Encadrant : à voir avec l'entreprise
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise


Catalogue des stages Clearsy 2020

9. Nomadic Labs : 9 propositions de stage


Site : Nomadic Labs
Lieu : Paris ou Grenoble, selon les sujets.
Encadrant : à voir avec l'entreprise.
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise.


Nomadic Labs : cartographie de réseau P2P

Nomadic Labs : interfaçage inter-langages


Nomadic Labs : types linéaires secrets

Nomadic Labs : outil web pour preuves Coq de smart contracts

Nomadic Labs : open API

Nomadic Labs : environnement de test de protocoles

Nomadic Labs : preuves à divulgation nulle

10. SeAL Event Catalyst : développeur « full stack »


Site : SeAL Event Catalyst
Lieu : Paris
Encadrant : à voir avec l'entreprise
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise.


SeAL Event Catalyst : développeur « full stack »

11. Huawei : trois stages en IA appliquée.


Site : Huawei Paris
Lieu : Paris
Encadrant : Gaëtan Hains (gaetan.hains@huawei.com) Chong Li (ch.l@huawei.com)
Dates :du 10/02/2020 au 28/08/2020
Rémunération :à discuter avec l’entreprise.


Huawei : description du stage traitement de la langue naturelle pour les exigences en logique temporelle

Huawei : description du stage "next generation deep learning computing".

Huawei : description du stage graphes pour la modélisation et le raisonnement sur les exigences en logique temporelle.

12. IRT SystemX : 3 propositions de stages sur le couplage de la simulation et de l’optimisation pour la maintenance de systèmes industriels complexes


Site : IRT SystemX : 3 propositions de stages sur le couplage de la simulation et de l’optimisation pour la maintenance de systèmes industriels complexes
Lieu : IRT SystemX, Gif sur Yvette
Encadrant : Michel Batteux <michel.batteux@irt-systemx.fr>, Selma Khebbache <selma.khebbache@irt-systemx.fr>
Dates :du 10/02/2020 au 28/08/2020


IRT SystemX : projet CRÉE

13. Impact d’une architecture multicoeur sur les temps d’exécution d’un programme


Site : Kopernic, Inria - Paris
Lieu : Inria-Paris, 2 Rue Simone IFF, 75012 Paris
Encadrant : Yves Sorel (Inria Paris) et Yasmina Abdeddaïm (ESIEE Paris, Laboratoire d'Informatique Gaspard-Monge (LIGM) UMR 8049)
Dates :10/02/2019 au 10/07/2020
Rémunération :rémunération standard


14. Stage Anayst R


Site : Data Analyst R
Lieu : Paris
Encadrant : Imen ESSAFI
Dates :du 10/02/2020 au 10/09/2020


15. Stage Naval Group


Site : Description du stage
Encadrant : Naval Group


16. Stage Invenis - Développeur Scala/Spark


Site : Stage Invenis - Développeur Scala/Spark
Lieu : Invenis - Paris
Encadrant : Invenis


17. Stage Invenis - Développeur Backend Python


Site : Stage Invenis - Développeur Backend Python
Lieu : Invenis - Paris
Encadrant : Invenis


18. Garanties d’exécution de programmes OCaLustre et OCaml pour microcontrôleurs


Site : Trac-Garanties d’exécution de programmes OCaLustre et OCaml pour microcontrôleurs
Lieu : LIP6 - Campus Jussieu - 4, place Jussieu 75005 Paris
Encadrant : Emmanuel Chailloux (APR-LIP6-UPMC) - Emmanuel.Chailloux@lip6.fr Steven Varoumas (APR-LIP6-UPMC) - steven.varoumas@lip6.fr
Dates : 5 à 6 mois à partir de février 2020
Rémunération :standard


19. Using Deep-Learning and Polyspace to classify functions with defects


Site : https://fr.mathworks.com/products/p...
Lieu : Meudon
Encadrant : Olivier Bouissou
Dates :du 01/03/2020 au 31/08/2020
Rémunération :1300 euros bruts par mois


20. Typage de Séquences Hétérogènes dans les Langages Dynamiques


Site : CLIMB
Lieu : Laboratoire de Recherche et Développement de l'EPITA 14-16 rue Voltaire 94250 Le Kremlin-Bicêtre
Encadrant : Didier Verna
Dates :Dates libres, à définir
Rémunération :1000€ bruts/mois


21. Random graph models with fixed constraints : proving the validity of generation methods


Site : Complex Networks
Lieu : LIP6 (Sorbonne Université)
encadrant :

Lionel Tabourier

Dates :15/02/2020 au 15/08/2020 (approx.)
Rémunération :gratification usuelle de stage (3.75€/heure, soit env. 550€/mois)


22. Développement d’une application web suivant les principes du DDD et de l’architecture hexagonale et isomorphic en Clojure/Clojurescript.


Site : Développement d’une application web suivant les principes du DDD et de l’architecture hexagonale et isomorphic en Clojure/Clojurescript.
Lieu : 35 rue Grégoire de Tours 75006 Paris
Encadrant : Jérémie Grodziski
Dates :du 10/02/2020 au 07/08/2020
Rémunération :1200


23. Développement d’un système de recherche accessible par API suivant les principes des architectures orientés-événement en Clojure et sur le Cloud Google (Kubernetes, PubSub, Solr, Keycloak)


Site : Développement d’un système de recherche accessible par API suivant les principes des architectures orientés-événement en Clojure et sur le Cloud Google (Kubernetes, PubSub, Solr, Keycloak)
Lieu : 35 rue Grégoire de Tours 75006 Paris
Encadrant : Jérémie Grodziski
Dates :du 10/02/2020 au 07/08/2020
Rémunération :1200 € / mois


24. Stage SafetyLine R&D - DataScience


Site : Safety Line
Encadrant : R&D Safety line


25. Ingénieur Développeur - mise en place d’un transpileur


Site : Stage confidentiel
Lieu : La tour AREVA - La Défense
Encadrant : Charaf EL MHARI
Dates :stage de 5/6 mois à démarrer au plus tard début mars 2019


26. LiMass : Linear Algorithms for Massive Real-World Graphs


Site : LiMass : Linear Algorithms for Massive Real-World Graphs
Lieu : LIP6 (Sorbonne Université)
Encadrant : Maximilien Danisch
Dates :15/02/2020 au 15/08/2020 (approx.)
Rémunération :gratification usuelle de stage (3.75€/heure, soit env. 550€/mois)


27. Stage Orange - portage d’une application iOS vers SwiftUI/Combine


Site : Orange
Encadrant : Orange


28. Panorama de la maturité numérique des entreprises


Lieu : https://rejoins.octo.com/internships/103
Encadrant : Thamazgha SMAIL
Rémunération :1500


29. Automated Transcription of Jazz Soli


Site : équipe Vertigo, Cedric, CNAM
Lieu : CNAM, 2 rue Conté 75003 Paris
Encadrant : Florent Jacquemard, Philippe Rigaux, Francesco Foscarin
Dates :5 ou 6 mois à partir de février 2020
Rémunération :gratification en vigueur pour les stages de recherche


30. Validation formelle d’un autopilote


Site : INSAE/SUPAERO Département Ingénierie des systèmes complexes
Lieu : ISAE/SUPAERO et ONERA Toulouse
Encadrant : Christophe Garion (ISAE-SUPAERO), Pierre Roux (ONERA) et Gautier Hattenberger (ENAC)


31. Parallélisation automatique de code Java


Site : Parallélisation automatique de code Java
Lieu : LIP6
Encadrant : Jonathan Lejeune, Cédric Besse, Yann Thierry-Mieg
Dates :01/02/2020 au 31/07/2020
Rémunération :Gratification standard (535 eu/mois)


32. Analyse statique par interprétation abstraite de langages fonctionnels, application à l’analyse d’OCaml.


Site : Analyse statique par interprétation abstraite de langages fonctionnels, application à l’analyse OCaml.
Lieu : équipe APR, LIP6, Sorbonne Université 4, place Jussieu 75005 Paris
Encadrant : Antoine Miné
Dates :du 10/02/2020 au 09/08/2020
Rémunération :gratification de stage standard


33. Temporal graph mining


Site : Trac-Temporal graph mining
Lieu : LIP6, CNRS -- Sorbonne Université UPMC
Encadrant : Binh-Minh Bui-Xuan
Dates :Fev - Aout 2020
Rémunération :oui