Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Internships 2019/2020

Submit an internship offer

  1. Dépliages de réseaux de Petri pour l'analyse d'écosystèmes
    Franck Pommereau, université d'Évry/Paris-Saclay
  2. An integrated model for the cell
    C. Gaucherel (and S. Haar) - Montpellier
    Petri nets, network and symbolic dynamics
  3. A qualitative model for evolution of ecosystems
    C. Gaucherel (and M. Maximova) - Montpellier
    Graph Transformations (Krivine)
  4. Online Algorithms for Fair Ad Auctions
    Patrick Loiseau and Nicolas Gast, Inria/LIG (Grenoble)
  5. Implementing a differential programming framework based on linear logic negation
    Michele Pagani (and Alois Brunel, Damiano Mazza) - Paris
    2.1, 2.2
  6. Bayesian networks and linear logic quantitative semantics
    Michele Pagani (and Marco Gaboardi) - IRIF, Paris
    2.1, 2.2
  7. Une sémantique formelle pour la fusion de changements de code source
    Yann Régis-Gianas (IRIF) / David Mentré (MERCE)
  8. Une formalisation mécanisée du "Test driven development"
    Yann Régis-Gianas (IRIF) / David Mentré (MERCE)
  9. Formalisation d’un langage graphique à bloc pour la preuve de programme
    Dowek (LSV) - Belmonte (Alstom)
    2.7.1, 2.7.2, 2.36.1
  10. Automatic Theorem Proving in Coq
    Valentin Blot, Gilles Dowek et Chantal Keller - Université Paris-Saclay
    Assistants de preuves, Fondements des systèmes de preuves, Démonstration automatique
  11. Developpement d'implementation threshold sur un banc DPA
    Renaud Dubois, Valentin Mascre (Thales)
  12. Cryptanalyse quantique d'algorithmes symétriques
    Zoé Amblard, Aurélien Dupin, Ange Martinelli (Thales)
  13. Implémentation optimisée de schémas de signature post-quantiques
    Sylvain Lachartre, Thomas Ricosset (Thales)
  14. Sécurité des communications réseau de l’IoT
    Arnaud Ebalard, ANSSI (Paris)
  15. A domain specific language for formally verified legislation
    Denis Merigoux, Karthikeyan Bhargavan : Inria (PROSECCO), Paris
  16. Optimalité et analyse en moyenne de l'algorithme Git bisect
    Julien Courtiel, Paul Dorbec - GREYC, Caen
    Algorithmique des graphes / Aspects algorithmiques de la combinatoire / Calcul formel / Analyse d'algorithmes / Algorithmique et combinatoire des graphes géométriques
  17. Formal Methods for Security: automated low-level software security analysis
    Sébastien Bardin (CEA) – location: CEA Saclay
    all modules concerned with formal verification, especially: 2.5.1, 2.6, 2.9.2,2.36.1
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA