UFRINFO2.PNG                                                   

FORMATION MASTER

Domaine SCIENCES, TECHNOLOGIE, SANTE

Mention INFORMATIQUE

2009-2012

 

Objectif

 

LÕUFR dÕinformatique propose au niveau du master, deux spŽcialitŽs sous la mention informatique : une spŽcialitŽ professionnalisante et une spŽcialitŽ recherche.

 

Le but de la spŽcialitŽ professionnalisante est de former des ingŽnieurs informaticiens, capables de ma”triser ˆ la fois des concepts fondamentaux et des technologies modernes. Les deux annŽes de cette spŽcialitŽ sont destinŽes dÕune part ˆ complŽter la formation initiale du niveau L et dÕautre part ˆ la dŽcouverte du monde professionnel par le biais dÕinterventions de professionnels et dÕun long stage en entreprise lors de la deuxime annŽe dՎtudes.

 

 

La spŽcialitŽ informatique professionnalisante

 

Dans le systme LMD, chaque annŽe dՎtudes correspond ˆ 60 crŽdits ECTS (European Credit Transfer System), transfŽrables dÕun Žtablissement ˆ un autre sous rŽserve de cohŽrence pŽdagogique.

 

Cette spŽcialitŽ de Master en ingŽnierie informatique propose un nombre important dÕunitŽs dÕenseignement (UE) parmi lesquelles les Žtudiants doivent faire un choix. Ce choix doit satisfaire 2 conditions :

 

1. Correspondre au total ˆ 60 crŽdits annuels.

2. Etre en accord avec un parcours (voir modalitŽs pour chaque annŽe).

 

Les parcours type de cette spŽcialitŽ du Master en  ingŽnierie Informatique sont :

 

 

Des parcours personnalisŽs (ŽlaborŽs entre lՎtudiant et son tuteur) sont Žgalement proposŽs dans notre master.

 

 

Les dŽbouchŽs

 

Les compŽtences acquises dans les diffŽrents parcours du master informatique professionnalisant prŽparent ˆ de nombreux mŽtiers dans lÕindustrie : ingŽnieur de recherche et dŽveloppement, chef de projet, architectes de logiciels (parcours LP), responsable de sŽcuritŽ, chef de projet, ingŽnieur de dŽploiement rŽseaux, Webmaster, dŽveloppeur JAVA J2EE. (parcours SRI). Le parcours LC ouvre ˆ des emplois liŽs au dŽveloppement de logiciels embarquŽs et critiques dans divers domaines : systmes temps-rŽel de commandes, de transport - automobile, ferroviaire, aŽrien - ou de tŽlŽcommunications, tŽlŽphonie mobile, cartes ˆ puces, services web avec forte exigence de sŽcuritŽ, robots.

 

La majoritŽ des Žtudiants titulaires du master informatique recherche poursuivent leur cursus en doctorat avec un financement du Ministre et sont ensuite recrutŽs sur des postes dÕenseignant chercheur ou de chercheurs en milieu acadŽmique ou industriel.

 

Conditions dÕaccs

 

Peuvent demander une inscription en Master:

á       Les personnes ayant obtenu une Licence dans la spŽcialitŽ Informatique GŽnŽrale de lÕUniversitŽ Paris 7.

á      Les personnes ayant suivi dans dÕautres Žcoles/universitŽs une formation dans un domaine thŽmatique compatible avec la spŽcialitŽ envisagŽe.

 

LÕaccs au niveau M1 est prononcŽ sur lÕavis favorable du jury dÕadmission M1 qui vŽrifie un certain nombre de compŽtences prŽ-requises. Les Žtudiants titulaires dÕune licence validŽe en dehors de lÕuniversitŽ Paris Diderot doivent instruire un dossier pŽdagogique de demande dÕinscription en M1 contenant impŽrativement un relevŽ de notes complet de toute la Licence (1re, 2me et 3me annŽes).

 

LÕaccs au niveau M2 nÕest pas automatique, une sŽlection est effectuŽe par le jury dÕadmission M2 sur la base du dossier de lՎtudiant. LÕentrŽe au M2 reste conditionnŽe aux capacitŽs dÕaccueil de la formation.

 

Informations

Informations administratives

M2: Raja.Taimes@informatique.univ-paris-diderot.fr Mickael.Ferreira@informatique.univ-paris-diderot.fr

Page Web UFR informatique: http://www.informatique.univ-paris-diderot.fr/

Informations pŽdagogiques

M2 : Carole.Delporte@liafa.jussieu.fr

M2 parcours LC: Ahmed.Bouajjani@liafa.jussieu.fr

M2 Parcours LP : Ralf.Treinen@pps.jussieu.fr

M2 Parcours SRI : Carole.Delporte@liafa.jussieu.fr

 

 

Description du M2

 

 

LÕannŽe du M2 est organisŽe en trois pŽriodes :

 

 

 

Parcours Logiciels Critiques (LC)

 

Les systmes logiciels, et en particulier les systmes embarquŽs, sont prŽsents dans tous les secteurs de la vie moderne (transport, tŽlŽcommunications, Žnergie, santŽ, espace, etc.) et doivent accomplir des t‰ches de plus en plus complexes. La dŽfaillance de ces systmes pouvant avoir des consŽquences humaines et/ou Žconomiques considŽrables, il est nŽcessaire dÕadopter lors du dŽveloppement de tels systmes des mŽthodes rigoureuses et automatisables permettant dÕassurer un haut degrŽ de confiance dans leurs comportements.

 

Ce parcours vise ˆ donner une formation couvrant les principales approches modernes en conception, validation, et en programmation de systmes logiciels critiques. Cette formation comporte aussi bien lÕacquisition des fondements thŽoriques de chacune de ces approches, que la ma”trise des mŽthodes et des techniques qui leurs sont associŽes, et leur application au travers de travaux pratiques et de projets.

 

Le parcours comprend 9 cours obligatoires (OBL) dont lÕanglais (27 crŽdits) et 3 cours (9 crŽdits) ˆ choisir parmi les cours optionnels (OPT) suggŽrŽs pour ce parcours.

 

Parcours Langages et Programmation (LP)

 

La ma”trise des langages informatiques est indispensable pour un informaticien. Ce parcours a comme objectif dÕenseigner les concepts qui sont ˆ la base ˆ la fois des langages de programmation et des langages de donnŽes.

 

Le but est moins dÕenseigner tel ou tel langage de programmation qui est actuellement ˆ la mode mais dÕenseigner des fondements qui permettent ˆ des informaticiens futurs de sÕadapter ˆ lՎvolution des langages de programmation. Les informaticiens ayant suivi ce parcours devront savoir comparer les avantages des approches diffŽrentes ˆ la programmation, et Žvaluer lÕadaptation dÕune approche pour un projet logiciel. Les enseignements dispensŽs concernent ˆ la fois les paradigmes fondamentaux des langages comme les approches logiques, fonctionnelles et orientŽes objets, et Žgalement les techniques avancŽes de la compilation, et lÕutilisation pratique de compilateurs modernes.

 

Le parcours est constituŽ de 4 cours obligatoires (OBL) dont lÕanglais (12 crŽdits), 5 cours (15 crŽdits) que lՎtudiant doit choisir parmi les cours optionnels (OPT) suggŽrŽs dans ce parcours et 3 cours libres (9 crŽdits) ˆ choisir dans lÕensemble de tous les cours de M2 proposŽs en premire ou seconde pŽriode.

 

Parcours Systme, RŽseaux, Internet (SRI)

 

Outre les compŽtences techniques essentielles que donne cette formation, elle fournit aussi les ŽlŽments conceptuels fondamentaux nŽcessaires ˆ toute future adaptation professionnelle dans le domaine des systmes informatiques modernes : micro-noyaux, systmes modulaires, systmes embarquŽs, algorithmique distribuŽe, grilles de calcul, systmes mobiles, machines virtuelles, et que lÕon retrouve dans de nombreuses applications industrielles dÕusage courant : tŽlŽphonie mobile, tŽlŽvision numŽrique, systmes de paiements, technologies Internet, etc.

Les enseignements dispensŽs doivent permettre la ma”trise des concepts et de la problŽmatique de la rŽpartition des donnŽes, des traitements ou des personnes.

 

Le parcours est constituŽ du cours obligatoire (OBL) dÕanglais (3 crŽdits), de 10 cours (30 crŽdits) ˆ choisir parmi les cours optionnels (OPT) suggŽrŽs pour ce parcours et un cours libre (3 crŽdits) ˆ choisir dans lÕensemble de tous les cours de M2 proposŽs en premire ou seconde pŽriode. LՎquipe pŽdagogique veillera ˆ la cohŽrence de la composition du parcours.

LÕorganisation de ces diffŽrents parcours se rŽsume ainsi :

 

 

 

 

Cours Paris 7

ECTS

PŽriode

LP

SRI

LC

Anglais

3

1

OBL

OBL

OBL

ModŽlisation et spŽcification

3

1

OPT

OPT

OBL

Programmation synchrone

3

1

OPT

OPT

OBL

SŽcuritŽ

3

1

 

OPT

OBL

Protocoles internet

3

1

 

OPT

OPT

Programmation Objet : concepts avancŽs

3

1

OBL

OPT

OPT

Compilation avancŽe

3

1

OBL

 

OPT

IngŽnierie des protocoles

3

1

 

OPT

OPT

Grands rŽseaux dÕinteraction

3

1

 

OPT

 

Concepts avancŽs de Base de DonnŽes

3

1

OPT

 

 

Entrep™ts de donnŽes

3

1

 

 

 

Formats de documents et compression

3

1

 

OPT

 

Programmation logique et par contraintes avancŽes

3

1

OPT

 

 

Typage

3

1

OPT

 

 

Interfaces visuelles et outils de dl de Mac OS X

3

1

 

OPT

 

MŽthodes algorithmiques pour la vŽrification

3

2

OPT

 

OBL

Preuve de programmes

3

2

OPT

 

OBL

Analyse statique de programmes

3

2

OPT

 

OBL

MŽthodes de test

3

2

OPT

 

OBL

Programmation comparŽe

3

2

OBL

 

OPT

Introduction ˆ lÕautomatique

3

2

 

 

OBL

Informatique embarquŽe

3

1

 

OPT

OPT

Moteurs de recherche

3

2

 

OPT

 

MobilitŽ et grille de calculs

3

2

 

OPT

 

Algorithmique rŽpartie

3

2

 

OPT

 

Programmation rŽpartie

3

2

OPT

OPT

 

 

Administration systme et rŽseau

3

2

 

OPT

 

XML

3

2

OPT

OPT

 

Architecture des systmes dÕinformation

3

2

OPT

 

 

Fouilles de donnŽes et aide ˆ la dŽcision

3

2

 

 

 

Systmes avancŽs

3

2

 

OPT

 

Stage en entreprise

24

3

OBL

OBL

OBL