Aller au contenu principal

Master mention mathématiques et applications parcours logique mathématiques et fondements de l'informatique (LMFI) - 2ème année

Date de mise à jour :
Identifiant Offre Info : 14_AF_0000127651
Organisme responsable : Université Paris Cité (ouvre dans un nouvel onglet)

Nouvelle recherche

Référentiels

Code Rome

  • H1206 Management et ingénierie études, recherche et développement industriel
  • K2107 Enseignement général du second degré
  • M1201 Analyse et ingénierie financière
  • M1403 Études et prospectives socio-économiques

Formacode

  • 11040 : Mathématiques financières
  • 11071 : Analyse mathématique
  • 32062 : Recherche développement

Présentation de la formation

Objectifs

Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique. Il forme des logiciens de haut niveau et les prépare au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D. Il est organisé par deux laboratoires prestigieux, de l'Université Paris-Diderot et du CNRS, couvrant la plupart des branches de la logique mathématique et informatique : l'Équipe de Logique Mathématique de l'Institut de…

Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique.
Il forme des logiciens de haut niveau et les prépare au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D.
Il est organisé par deux laboratoires prestigieux, de l'Université Paris-Diderot et du CNRS, couvrant la plupart des branches de la logique mathématique et informatique : l'Équipe de Logique Mathématique de l'Institut de Mathématiques de Jussieu - Paris Rive Gauche et le pôle Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale.

Programme de la formation

Le LMFI est composé :
Au 1er semestre : un cours préliminaire intensif de logique (30h), facultatif; un tronc commun constitué de quatre cours fondamentaux (trois cours de 48h, un cours de 84h); les groupes de travail des cours fondamentaux (36h chacun).

Au 2ème semestre : huit cours avancés (48h chacun); des cours d'ouverture (24h chacun); une initiation à la recherche sous forme d'un stage/mémoire, encadré par un enseignant-chercheur.

Validation et sanction

Master mention mathématiques et applications

Type de formation

Certifiante

Niveau de sortie

Bac + 5 et plus

Durée, rythme, financement

Durée

En centre

360 h

En entreprise

400 h

Financement

Conventionnement
Oui

Conditions d'accès

Publics visés

  • Demandeur d'emploi
  • Profession libérale
  • Salarié

Niveau d'entrée

Sans niveau spécifique

Conditions spécifiques et prérequis

Le candidat devra avoir validé une 1ère année de Master (M1), une Maîtrise ou un titre équivalent. Cette première année devra avoir été effectuée dans une spécialité mathématique, informatique, ou logique.

Lieu de réalisation de l'action

Modalités d'enseignement

Formation entièrement en présentielle

Adresse

8 Place Aurélie Nemours
Bâtiment Sophie Germain
75013 Paris 13e

Responsable : UFR de Mathématiques et Informatiques

Périodes prévisibles de déroulement des sessions

Début

Fin

Adresse d'inscription
Université Paris Cité
75006 Paris 6e
État du recrutement
Ouvert
Modalités
Entrées / Sorties à dates fixes