Interna*onal Master Program

Transcription

1 Interna*onal Master Program 1- Interna*onal Master of So1ware Verifica*on Formal methods applied to so/ware verifica4on and analysis 2- Interna*onal Master of So1ware Engineering Advanced training in computer science engineering to design, understand, develop and maintain complex so/ware systems 3- Interna*onal Master of Radio and Telecommunica*on Systems Advanced training in Technologies, Circuits and Systems for Radio and Telecommunica4ons

2 1- Master of So1ware Verifica*on Prerequisites have completed the first year of a Master of science degree in Mathema4cs and/or Computer Science or equivalent have a good proficiency in wriden and spoken English: level B2 is absolutely required. Descrip*on Modeling techniques Games and controller synthesis Modern type-oriented construc4ons in programming languages So/ware verifica4on Research project and seminars B-Method / Formal design of so/ware with TLA+

3 2- Master of So1ware Engineering Interna*onal Master of So1ware Verifica*on - Offered by the Department of Computer Science. - Advanced training in computer science engineering to design, understand, develop and maintain complex so/ware systems. - Courses in: - fundamental computer science - prac4cal courses and projects - Large scope of careers and jobs in computer science companies, IT departments, banks, IT consul4ng companies among other sectors. - Graduate students are prepared for jobs such as - IT project manager, - So/ware development engineer, - Data manager, - So/ware architect, - R&D engineer

4 2- Master of So1ware Engineering Prerequisites Algorithms, Programming, Java, Databases, SQL, Basics of modelling computer so/ware applica4ons. English (at least B2 level) Descrip*on So/ware Methodologies: So/ware project management and Informa4on systems, So/ware tes4ng Design and Valida4on of So/ware Systems: So/ware design B method Data Engineering: Management and Analysis of Big Dat Distributed and Mobile So/ware: Mul4-4ers so/ware architectures (Project), Mobile applica4on development Personaliza4on: So/ware methods and tools, Formal design of so/ware systems, Advanced programming techniques Language and Management for Engineers: Business simula4on, Languages

5 3- Master of Radio and Telecommunica*on Systems Interna*onal Master of Radio and Telecommunica*on Systems - From antenna to base-band: Analog circuits RF Digital - From Circuit to System: interac4on between Circuits and Systems - Signal processing for electronics: Signal transmission, Spectrum management - Advanced training in Technologies, Circuits and Systems for Radio and Telecommunica4ons - Analog and digital design at circuit and system level - Circuits and systems characteriza4on - Quality and security analysis methods for transmission links Digital circuits FPGA, DSP Microelectronics RF and millimeterwave circuits Cogni4ve radio Digital communica4ons CAD tools, Measurement Applica4ons: Mobile communica4ons Aéronau4cs Space

6 3- Master of Radio and Telecommunica*on Systems Prerequisites Analog and digital electronics basis English (at least B2 level) Descrip*on RF and mmw circuits: Antenna, Power amplifier, RF measurement, RF circuits design Communica4on systems: Advanced Design System CAD project, Optoelectronics, RF Systems Signal processing and power management: DAC/ADC, baseband signal processing, Power management, System on chip/codesign Radio-communica4ons: Advanced digital communica4ons, Hardware security, So/ware-defined radio, Cogni4ve radio Microelectronics: integrated technologies, oral presenta4on in conference training, RADAR project Impossible d'afficher l'image. Votre ordinateur manque peut-être de mémoire pour ouvrir l'image ou l'image est endommagée. Redémarrez l'ordinateur, puis ouvrez à nouveau le fichier. Si le x rouge est toujours affiché, vous devrez peut-être supprimer l'image avant de la réinsérer.

7 3- Master of Radio and Telecommunica*on Systems Interna*onal speakers Academics: EPFL, Ecole Polytechnique Montréal, UQAM, ETS Montréal, University of Limoges, ISEP, SupCom Tunis, University of Saint-E4enne, LAAS-CNRS, Monash University, University of Calgary Industrials: STMicroelectronics, THALES ALENIA SPACE, THALES SYSTEMES AEROPORTES, CEA-Le4, Freescale, Orange, Keysight Research Projects and Job offers Circuit design Power amplifier lineariza4on, Texas University EM simula4on of CMOS integrated balun, ST, Tours Behavioral model for AMS & RF circuits, ST, Grenoble RF frequency mul4plier with very low phase noise, Thales SA Pessac PLL design, CEA-LETI, Grenoble Millimeter-wave power VCO, STMicroelectronics, Crolles Communica4on systems RF driver on CORTEX for RF 868MHz transmider, Homeriders Systems, Gradignan RF long range low power, Telecom Design Waveform genera4on for unmanned airborne, Thales Pessac