M2 Computer & Network Systems

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

The mission of the Computer & Network Systems program is to provide students with the fundamental principles and techniques to become a system architect in the broad sense.

Two different, complementary, areas are proposed in the current curriculum:
- a Networked Systems track, and
- an Autonomous Systems track.
The aim of the program is to give students all the necessary scientific bases for the design of these systems.

The emphasis of the Networked Systems track is on deploying, managing, controlling and optimizing large-scale and high-performance IT infrastructures.

The emphasis of the Autonomous Systems track is on the design of systems with an intrinsic capacity to adapt to changes, that is systems capable of self-configuration, self-organization, self-healing, self-learning, self-regulation, self-optimization and self-protection.

On a scientific level, the objective is to present the necessary knowledge on formal methods for the design, verification and test of complex systems; artificial intelligence (machine learning, reinforcement learning, multi-agent systems, ...); models of performance (automata, Petri nets, queues, ...) and optimization methods (game theory, multi-criteria (including energy) optimization, ...).

Location
EVRY
Course Prerequisites

The Master 2 is accessible to students holding the Computer & Network Systems M1 and, upon consideration of their file, to students holding an M1 in Informatics, an undergraduate degree (over 4 years) or Master's degree in Computer Science, an M2 in foreign Computer Science, or an engineering degree with a substantial informatics component. All applications are reviewed by the admissions panel.

Skills

  • Memorise the basic concepts of computer systems

  • Describe the functional needs of computer systems in specification sheets

  • Apply the basic concepts to offer architectural and technical solutions.

  • Analyse the functioning of complex computer systems.

  • Offer innovative solutions.

  • Justify technical and technological choices.

Post-graduate profile

Computer design engineer for networked systems
Computer design engineer for distributed smart systems

Career prospects

Networked systems route:

● Systems architect
● Secure infrastructure architect
● Network architect
● Project manager
● Integration engineer
● Development engineer
● Technical support engineer
● Validation engineer
● Telecommunications consultant
● Security auditor
● Network administrator
● Service platform designer
● Cloud manager
● Datacentre manager
● Backup systems manager
● Project management assistant, customer liaisons (AMOA)

Autonomous systems route:

● Computer design engineer of intelligent systems for distributed applications, corporate network infrastructures, sensor networks, electronic equipment in networks, warehouses and big data processing, energy distribution
● Software solutions architect
● Data centre design/operation engineer
● Consulting engineer in complex IT systems
● Consulting engineer in ecological IT
● Computer centre IT department manager
● Production and cloud outsourcing manager
● Company technical & IT director
● R&D engineer

and, after a doctoral programme:

● R&D engineer for a large company such as Orange, Intel, Microsoft, IBM, or Google
● Academic researcher in the field of computer science

Collaboration(s)
Laboratories

Informatique, Biologie Intégrative & Systèmes Complexes.

Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux.

Programme

L'EF comprend deux sous-parcours "Systèmes autonomiques et "Systèmes en réseau"u".

Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Mastériales 2.5 13
Outils méthodologiques 2.5 18
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Administration et développement de systèmes pour les centres de calcul et de données 2.5 18
Apprentissage profond 2.5 18
Autonomic Networking 2.5 18
Cloud computing 2.5 18
Optimisation multicritère 2.5 18
PROG1.1 : Preuve formelle mécanisée (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
PROG1.2 : Sémantique des langages de programmation (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
Qualité de service dans les réseaux 2.5 18
Reinforcement learning and approximation algorithms 2.5 18
Software Defined Networks 2.5 18
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Approches formelles pour la vérification de programmes 2.5 18
Concurrent, distributed and timed processes 2.5 18
Feedback-loop design for autonomic systems 2.5 18
Game Theory 2.5 18
Méthodes de tests pour les systèmes complexes 2.5 18
Modélisation formelle à base d'algèbres de réseaux de Petri 2.5 18
PROG2.1 : Analyse statique de programmes (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
PROG2.2 : Projet vérification de programmes (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
Specifications of open systems and self-managed systems 2.5 18
Systèmes multi-agents 2.5 18
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Autonomic Networking 2.5 18
Sécurité des réseaux 2.5 18
Sécurité des systèmes informatiques 2.5 18
Stage, emploi et communication 2.5 18
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Administration et développement de systèmes pour les centres de calcul et de données 2.5 18
Architecture orientée services 2.5 18
Cloud computing 2.5 18
Indexation et recherche d'information 2.5 18
Méthodes de tests pour les systèmes complexes 2.5 18
PROG1.1 : Preuve formelle mécanisée (ouvert aux étudiants de l'ENSIIE en codiplomation) 2.5 18
PROG1.2 : Sémantique des langages de programmation (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
PROG2.1 : Analyse statique de programmes (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
PROG2.2 : Projet vérification de programmes (ouvert aux étudiants de l'ENSIIE en bicursus) 2.5 18
Programmation parallèle pour le calcul à haute performance 2.5 18
Qualité de service dans les réseaux 2.5 18
Software Defined Networks 2.5 18
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Projet R&D : Analyse, Modélisation et spécification 5 26
Projet R&D : Développement, Test et Validation 5 26
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Stage R&D et mémoire professionnel ou de recherche 30
Subjects ECTS Lecture directed study practical class Lecture/directed study Lecture/practical class directed study/practical class distance-learning course Project Supervised studies
Stage R&D et mémoire 30
Modalités de candidatures
Application period
From 01/03/2024 to 15/04/2024
Compulsory supporting documents

  • Rank of previous year and size of the promotion.

  • Copy diplomas.

  • Motivation letter.

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

  • Curriculum Vitae.

  • Detailed description and hourly volume of courses taken since the beginning of the university program.

Additional supporting documents

  • 2nd letter of recommendation (compulsory for candidates who have already been enrolled in higher education in France before).

  • Letter of recommendation (compulsory for candidates who have already been enrolled in higher education in France before).

  • Referring contact information (compulsory for non-international applicants).

  • Certificate of English level.

  • Certificate of French (compulsory for non-French speakers).

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

  • The application procedure, which depends on your nationality and your situation is explained here : https://urlz.fr/i3Lo.

  • Supporting documents :
    - Residence permit stating the country of residence of the first country
    - Or receipt of request stating the country of first asylum
    - Or document from the UNHCR granting refugee status
    - Or receipt of refugee status request delivered in France
    - Or residence permit stating the refugee status delivered in France
    - Or document stating subsidiary protection in France or abroad
    - Or document stating temporary protection in France or abroad.

Contact(s)
Course manager(s)
Nazim AGOULMINE - nazim.agoulmine@univ-evry.fr
Eric ANGEL - eric.angel@univ-evry.fr
Administrative office
Nathalie David - nathalie.david@univ-evry.fr
Admission