M2 Parisian Computer Sciences Research Master

Apply for the degree
  • Places available
    35
  • Language(s) of instruction
    French, English
Présentation
Objectives

The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.

Location
PARIS 05
Skills
  • Développer une activité de recherche en informatique fondamentale.

  • Concevoir un langage, un algorithme...

  • Démontrer des propriétés d'un langage, d'un algorithme...

  • Formaliser un problème avec les outils et au niveau d'abstraction pertinents.

  • Exposer ses travaux à un public scientifique.

Career prospects

Le but du master est de former de futurs chercheurs (chercheurs et enseignants-chercheurs dans des laboratoires académiques et des départements R&D industriels) en les préparant à un premier travail de recherche effectué dans le cadre de la préparation d'un doctorat. Un certain nombre d'étudiants cependant choisissent de ne pas continuer par une thèse après leur master et s'orientent vers des carrières d'ingénieur ou de développeur, souvent dans des entreprises très innovantes.

Collaboration(s)
Laboratories

Laboratoire Spécification et Vérification
Laboratoire de recherche en informatique.

DI de l'ENS
IRIF
LIX et les deux centres franciliens d'Inria.

Programme

Cette formation est une introduction à l'informatique fondamentale.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Informatique fondamentale 30 240

Cette formation est constituée d'un stage de recherche de 16 à 20 semaines.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Stage 30
Modalités de candidatures
Application period
From 01/02/2020 to 15/07/2020
Compulsory supporting documents
  • Curriculum Vitae.

  • Motivation letter.

  • All transcripts of the years / semesters validated since the high school diploma at the date of application.

  • Sheet of choice of platform completed to download on the site.

Additional supporting documents
  • VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).

Contact(s)
Course manager(s)
Gilles Dowek - dowek@lsv.fr
Serge Haddad - haddad@lsv.fr