Syllabus ENSEIRB

Semesters, Units :

Semester 5
I5-A Algorithmic 1
I5-B Pratique et fondements de l'informatique
I5-C Architecture matérielle et logicielle des calculateurs
I5-D Statistical methods
I5-E Programming project
I5-F Languages and Management for Engineers

Semester 6
I6-A Algorithmic 2
I6-B Advanced programming
I6-C Programmation avancée
I6-D Numerical analysis
I6-E Programming Project
I6-F Languages and Management for Engineers

Semester 7
I7-A Langages de programmation
I7-B System and Network
I7-C Bases de données et technologie WEB
I7-D Conception logiciel
I7-F Languages and Management

Semester 7ESSV
European Studies in Software Verification I7ESSV-A Extended automata
I7ESSV-B Logic
I7ESSV-C Formal Design
I7ESSV-D Research seminar
I7ESSV-E Research & Programming project

Semester 8
I8-A Protocols
I8-B Systems and applications
I8-C UE personnalisée
I8-D Software engineer project
I8-E Languages and Management
I8-G Personalized UE: choice 1 with TOEIC. LC206 + 2 modules in EX205

I8-H Personalized UE: choice 2 with TOEIC. LC206 + 1 module in EX205 + 1 module un EX206
I8-I Personalized UE: choice 3 without TOEIC. 2 modules in EX205
I8-J Personalized UE: choice 4 without TOEIC. 1 module in EX205 + 2 modules in EX206

Semester 8ESSV
European Studies in Software Verification I8ESSV-A Advanced Semester 1 - mobility
I8ESSV-B Mobility: Université Libre de Bruxelles
I8ESSV-C Mobility: Technische Universität München
I8ESSV-D Mobility: Universiteit Twente

Semester 9
I9-A Culture de l'ingénieur

Semester 9EM
E-Management I9EM-A Managements des projets innovants
I9EM-B Transfert technologique
I9EM-C Marketing des activités de services
I9EM-D Finances

Semester 9ESSV
European Studies in Software Verification I9ESSV-A Modeling techniques
I9ESSV-B Software verification
I9ESSV-C Games and controller synthesis
I9ESSV-E Research project
I9ESSV-F Types and proofs

Semester 9GL
Software Engineering I9-A Culture de l'ingénieur
I9GL-A Software Management
I9GL-B Verification and Validation
I9GL-C Object-Oriented Software Engineering
I9GL-D Software Architerture
I9GL-E Personnalisation

Semester 9IREF
Ingénierie du Risque Economique et Financier C9IREF-A Finance stochastique
C9IREF-B Outils et langages
C9IREF-C Outils et statistiques
C9IREF-D Environnement financier
C9IREF-E Finance de marché
C9IREF-F English and Management

Semester 9PRCD
Parallélisme, Régulation et Calcul Distribué I9-A Culture de l'ingénieur
I9PRCD-A Langages et supports d'exécution
I9PRCD-B Architectures, systèmes et communications
I9PRCD-C Algorithmique et ordonnancement
I9PRCD-D Algorithmique et applications
I9PRCD-E Personnalisation

Semester 9ROBOT
Robotique et apprentissage I9ROBOT-A Modélisation et commande de systèmes robotiques
I9ROBOT-B Architecture of Robotic Systems
I9ROBOT-C Robotique avancée
I9ROBOT-D Imaging tools for robotics
I9ROBOT-E Human robot interactions and multi-agents systems

Semester 9RSR
Networking and Distributed Systems I9-A Culture de l'ingénieur
I9RSR-A Communication networks
I9RSR-B Distributed objects and systems
I9RSR-C Security and network administration
I9RSR-D Network administration tools
I9RSR-E Personalisation

Semester 9TM
Multimedia Technologies C9TM-A Multimedia data coding and processing
C9TM-B Analysis and indexing of multimedia data
C9TM-C Choice: ASSM or TIM
C9TM-D Choice: SIRV or TIM
C9TM-E Semester project and software development
C9TM-F English and Management

C9TM-G Computer Graphics and Virtual Reality
C9TM-H Computational Music
C9TM-I Analysis and Synthesis of Musical Sound (ASSM)