
FORMATION MASTER
Domaine SCIENCES, TECHNOLOGIE, SANTE
Mention INFORMATIQUE
2009-2012
Objectif
LÕUFR dÕinformatique propose au niveau du master,
deux spcialits sous la mention informatique : une spcialit professionnalisante
et une spcialit recherche.
Le but de la spcialit professionnalisante
est de former des ingnieurs informaticiens, capables de matriser la fois
des concepts fondamentaux et des technologies modernes. Les deux annes de
cette spcialit sont destines dÕune part complter la formation initiale du
niveau L et dÕautre part la dcouverte du monde professionnel par le biais
dÕinterventions de professionnels et dÕun long stage en entreprise lors de la
deuxime anne dÕtudes.
La spcialit informatique
professionnalisante
Dans le systme LMD, chaque anne dÕtudes
correspond 60 crdits ECTS (European Credit Transfer System), transfrables dÕun tablissement
un autre sous rserve de cohrence pdagogique.
Cette spcialit de Master en ingnierie
informatique propose un nombre important dÕunits dÕenseignement (UE) parmi
lesquelles les tudiants doivent faire un choix. Ce choix doit satisfaire 2
conditions :
1. Correspondre au total 60 crdits annuels.
2. Etre en accord avec un parcours (voir modalits
pour chaque anne).
Les parcours type de cette spcialit du Master
en ingnierie Informatique
sont :
Des parcours personnaliss (labors entre
lÕtudiant et son tuteur) sont galement proposs dans notre master.
Les dbouchs
Les comptences acquises dans les diffrents
parcours du master informatique professionnalisant prparent de nombreux
mtiers dans lÕindustrie : ingnieur de recherche et dveloppement, chef
de projet, architectes de logiciels (parcours LP), responsable de scurit,
chef de projet, ingnieur de dploiement rseaux, Webmaster, dveloppeur JAVA
J2EE. (parcours SRI). Le parcours LC ouvre des
emplois lis au dveloppement de logiciels embarqus et critiques dans divers
domaines : systmes temps-rel de commandes, de
transport - automobile, ferroviaire,
arien - ou de tlcommunications, tlphonie mobile, cartes puces, services
web avec forte exigence de scurit, robots.
La majorit des tudiants titulaires du master
informatique recherche poursuivent leur cursus en doctorat avec un financement
du Ministre et sont ensuite recruts sur des postes dÕenseignant chercheur ou
de chercheurs en milieu acadmique ou industriel.
Conditions dÕaccs
Peuvent demander une inscription en Master:
á
Les personnes ayant obtenu une Licence dans la
spcialit Informatique Gnrale de lÕUniversit Paris 7.
á
Les personnes ayant suivi dans dÕautres
coles/universits une formation dans un domaine thmatique compatible avec la
spcialit envisage.
LÕaccs au niveau M1 est prononc sur lÕavis
favorable du jury dÕadmission M1 qui vrifie un certain nombre de comptences pr-requises. Les tudiants titulaires dÕune licence
valide en dehors de lÕuniversit Paris Diderot doivent instruire un dossier
pdagogique de demande dÕinscription en M1 contenant imprativement un relev
de notes complet de toute la Licence (1re, 2me et 3me annes).
LÕaccs au niveau M2 nÕest pas automatique, une
slection est effectue par le jury dÕadmission M2 sur la base du dossier de
lÕtudiant. LÕentre au M2 reste conditionne aux capacits 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
pdagogiques
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Õanne du M2 est organise en trois
priodes :
Parcours
Logiciels Critiques (LC)
Les systmes logiciels, et en particulier les
systmes embarqus, sont prsents dans tous les secteurs de la vie moderne
(transport, tlcommunications, nergie, sant, espace, etc.) et doivent
accomplir des tches de plus en plus complexes. La dfaillance de ces systmes
pouvant avoir des consquences humaines et/ou conomiques considrables, il est
ncessaire dÕadopter lors du dveloppement de tels systmes des mthodes
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 systmes logiciels critiques. Cette formation comporte aussi
bien lÕacquisition des fondements thoriques de chacune de ces approches, que
la matrise des mthodes et des techniques qui leurs sont associes, et leur
application au travers de travaux pratiques et de projets.
Le parcours comprend 9 cours obligatoires (OBL)
dont lÕanglais (27 crdits) et 3 cours (9 crdits) choisir parmi les cours
optionnels (OPT) suggrs pour ce parcours.
Parcours
Langages et Programmation (LP)
La matrise 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 donnes.
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 diffrentes la programmation, et valuer
lÕadaptation dÕune approche pour un projet logiciel. Les enseignements
dispenss concernent la fois les paradigmes fondamentaux des langages comme
les approches logiques, fonctionnelles et orientes objets, et galement les
techniques avances de la compilation, et lÕutilisation pratique de
compilateurs modernes.
Le parcours est constitu de 4 cours obligatoires
(OBL) dont lÕanglais (12 crdits), 5 cours (15 crdits) que lÕtudiant doit
choisir parmi les cours optionnels (OPT) suggrs dans ce parcours et 3 cours
libres (9 crdits) choisir dans lÕensemble de tous les cours de M2 proposs
en premire ou seconde priode.
Parcours
Systme, Rseaux, Internet (SRI)
Outre les comptences techniques essentielles que
donne cette formation, elle fournit aussi les lments conceptuels fondamentaux
ncessaires toute future adaptation professionnelle dans le domaine des
systmes informatiques modernes : micro-noyaux,
systmes modulaires, systmes embarqus, algorithmique distribue, grilles de
calcul, systmes mobiles, machines virtuelles, et que lÕon retrouve dans de
nombreuses applications industrielles dÕusage courant : tlphonie mobile,
tlvision numrique, systmes de paiements, technologies Internet, etc.
Les enseignements dispenss doivent permettre la
matrise des concepts et de la problmatique de la rpartition des donnes, des
traitements ou des personnes.
Le parcours est constitu du cours obligatoire
(OBL) dÕanglais (3 crdits), de 10 cours (30 crdits) choisir parmi les cours
optionnels (OPT) suggrs pour ce parcours et un cours libre (3 crdits)
choisir dans lÕensemble de tous les cours de M2 proposs en premire ou seconde
priode. LÕquipe pdagogique veillera la cohrence de la composition du
parcours.
LÕorganisation de ces diffrents parcours se rsume
ainsi :
|
Cours Paris 7 |
ECTS |
Priode |
LP |
SRI |
LC |
|
Anglais |
3 |
1 |
OBL |
OBL |
OBL |
|
Modlisation et spcification |
3 |
1 |
OPT |
OPT |
OBL |
|
Programmation synchrone |
3 |
1 |
OPT |
OPT |
OBL |
|
Scurit |
3 |
1 |
|
OPT |
OBL |
|
Protocoles internet |
3 |
1 |
|
OPT |
OPT |
|
Programmation Objet :
concepts avancs |
3 |
1 |
OBL |
OPT |
OPT |
|
Compilation avance |
3 |
1 |
OBL |
|
OPT |
|
Ingnierie des
protocoles |
3 |
1 |
|
OPT |
OPT |
|
Grands rseaux
dÕinteraction |
3 |
1 |
|
OPT |
|
|
Concepts avancs de Base
de Donnes |
3 |
1 |
OPT |
|
|
|
Entrepts de donnes |
3 |
1 |
|
|
|
|
Formats de documents et
compression |
3 |
1 |
|
OPT |
|
|
Programmation logique et
par contraintes avances |
3 |
1 |
OPT |
|
|
|
Typage |
3 |
1 |
OPT |
|
|
|
Interfaces visuelles et
outils de dl de Mac OS X |
3 |
1 |
|
OPT |
|
|
Mthodes algorithmiques
pour la vrification |
3 |
2 |
OPT |
|
OBL |
|
Preuve de programmes |
3 |
2 |
OPT |
|
OBL |
|
Analyse statique de
programmes |
3 |
2 |
OPT |
|
OBL |
|
Mthodes de test |
3 |
2 |
OPT |
|
OBL |
|
Programmation compare |
3 |
2 |
OBL |
|
OPT |
|
Introduction
lÕautomatique |
3 |
2 |
|
|
OBL |
|
Informatique embarque |
3 |
1 |
|
OPT |
OPT |
|
Moteurs de recherche |
3 |
2 |
|
OPT |
|
|
Mobilit et grille de
calculs |
3 |
2 |
|
OPT |
|
|
Algorithmique rpartie |
3 |
2 |
|
OPT |
|
|
Programmation rpartie |
3 |
2 |
OPT |
OPT |
|
|
|
|
|
|
|
|
|
Administration systme
et rseau |
3 |
2 |
|
OPT |
|
|
XML |
3 |
2 |
OPT |
OPT |
|
|
Architecture des
systmes dÕinformation |
3 |
2 |
OPT |
|
|
|
Fouilles de donnes et
aide la dcision |
3 |
2 |
|
|
|
|
Systmes avancs |
3 |
2 |
|
OPT |
|
|
Stage en entreprise |
24 |
3 |
OBL |
OBL |
OBL |