M2 Mathématiques et applications - Logique mathématique et fondements de l'informatique - FI - Campus GM

Domaine:Sciences, Technologie

  • Voir la page en français
  • Crédits ECTS

    60 crédits
  • Niveau d'études visé

    BAC +5

Présentation

Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique. 

Cette formation, qui est l'une des spécialités du Master mention Mathématiques et Applications de l’Université Paris Diderot - Paris 7, est le fruit d'une longue tradition logique à Paris 7.

Objectifs

Former des logiciens de haut niveau et les préparer au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D. 

Niveau d'entréeBac+4

Public(s) cible(s)

  • Étudiant

Capacité d'accueil

30

Modalité(s) de formation

  • Formation continue
  • Formation initiale

Validation des Acquis de l'Expérience : Oui

Formation à distanceNon

StageObligatoire (Au minimum 3 mois)

Stage à l'étrangerOptionnel (3 mois minimum)

En savoir +

Lieu d'enseignement

Programme

Organisation de la formation

Le Master 2ème année LMFI propose :

au premier semestre :
  • un cours préliminaire intensif de logique (30h), facultatif
  • un tronc commun constitué de quatre cours fondamentaux (3 cours à 24h et 1 cours à 48h)
  • les groupes de travail des cours fondamentaux (18h chacun)
au second semestre :
  • des cours d'orientation (48h chacun),
  • des cours d'ouverture (24h chacun),
  • une initiation à la recherche sous forme d'un stage

 

Admission

Admission en deuxième année de master

Admission en deuxième année de master

Etiez-vous inscrit à Université de Paris* en 2019 ?
Au sein de quel établissement ?
Dernier diplôme obtenu ou formation suivie
Inscriptions antérieures à Paris Diderot
Quelle est votre nationalité?
Etes-vous autorisé à redoubler?
Quel est votre pays de résidence?
eCandidat Master

eCandidat Master

 

Les candidatures sont ouvertes du #début au 10/07/2020.

Pour déposer votre candidature cliquer sur : eCandidat Master

 

 

 

 

Composantes

Composantes

Veuillez contacter la composante en charge de votre formation.

Composantes

IA formalités

IA formalités

L'inscription administrative se fera en ligne via IARéins.

Plus d'informations à venir à partir du 15 juin

 

Etudes en France

Etudes en France

Etudes en France

VAPP

VAPP

Sans le bac, votre candidature dans cette formation pourrait relever d’une procédure de Validation des études, expériences professionnelles ou acquis personnels (VAPP) mais il faut dans ce cas être âgé de plus de 20 ans et avoir interrompu vos études depuis deux ans au moins. Nous vous invitons par conséquent à renouveler votre demande ultérieurement.

Conditions d'admission

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 (dans ce dernier cas, par exemple, dans le cadre d’un master de philosophie).

Pré-requis

Un bon niveau dans les études antérieures

Et après ?

Poursuite d'études

La suite naturelle de cette formation est la préparation d’un doctorat, soit en logique mathématique, soit en informatique. Pour un doctorat en informatique, la thèse peut éventuellement être préparée dans une entreprise ou un organisme public de recherche (INRIA, CEA…).

Insertion professionnelle

Les débouchés sont des postes d’enseignant-chercheur ou de chercheur :

  • soit dans le milieu universitaire (français ou étranger) ou des organismes publics de recherche (CNRS, INRIA, CEA, ONERA, etc.).
  • soit dans les services de recherche et développement d’entreprises du monde industriel (EDF, France Telecom, Siemens, EADS, etc.).

Les services de recherche et développement de ces entreprises sont particulièrement demandeurs d’étudiants ayant une forte compétence à la fois mathématique, logique et informatique, leur permettant d’encadrer des ingénieurs travaillant dans les domaines de la certification de logiciels, de la vérification de programmes et de protocoles, ainsi que de la sécurité informatique. Dans certains cas, le recrutement peut s’effectuer directement à l’issue du master 2ème année.

International

Poursuite d'études à l'étranger

Il est possible de poursuivre en thèse dans des laboratoires étrangers.

Contact(s)

Composante(s)

Lieu(x) de la formation

  • Campus des Grands Moulins (site Paris Rive Gauche)

Campus

  • Campus des Grands Moulins

Contact(s) administratif(s)

  • Catherine Prudlo

    Secrétariat pédagogique M2

    UFR de Mathématiques - Bâtiment S. Germain - Bureau 50558 place Aurélie Nemours - Case 701275205 Paris cedex 13Tél : 0157279306

    Email : catherine.prudlo @ univ-paris-diderot.fr

Logo

Contact

85 boulevard Saint-Germain 75006 Paris
(33) (0)1 57 27 90 00