Your input will help us improve your experience.You can close this popup to continue using the website or choose an option below to register in or login.
The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.
In order to apply to one of the programmes of the master, please select the programme you are interested in under the "Year 1 & 2 Master's programmes" tab .
Programme overview
Main Subject
Computer Science and Information Systems
Degree
MSc
Study Level
Masters
Study Mode
On Campus
The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.
In order to apply to one of the programmes of the master, please select the programme you are interested in under the "Year 1 & 2 Master's programmes" tab .
Admission Requirements
72+
5.5+
Compulsory supporting documents
Sheet of choice of platform completed to download on the site.
(Le document est à télécharger en bas de page)
Curriculum Vitae.
All transcripts of the years / semesters validated since the high school diploma at the date of application.
Motivation letter.
Additional supporting documents
VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).
Syllabus of courses providing asked by the entrance jury.
Candidates are required to submit references or letter(s) of recommendation for acceptance
Candidates are required to submit an essay(s) for acceptance
Domestic
243 EUR
International
243 EUR
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
Parisian Computer Sciences Research Master
# =74QS Subject Rankings
12 monthsProgramme duration
243 EURTuition Fee/year
Computer Science and Information SystemsMain Subject Area
Programme overview
Main Subject
Computer Science and Information Systems
Degree
MSc
Study Level
Masters
Study Mode
On Campus
The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.
In order to apply to one of the programmes of the master, please select the programme you are interested in under the "Year 1 & 2 Master's programmes" tab .
Programme overview
Main Subject
Computer Science and Information Systems
Degree
MSc
Study Level
Masters
Study Mode
On Campus
The goal of this master is to train researchers in theoretical computer science based on numerous
courses and working groups with several formats. The students must perform two reseach internships. The main covered fields are: (1) algorithms, (2) calculability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages semantique (8) analysis and la verification of programs and systems.
In order to apply to one of the programmes of the master, please select the programme you are interested in under the "Year 1 & 2 Master's programmes" tab .
Admission Requirements
- Sheet of choice of platform completed to download on the site.
(Le document est à télécharger en bas de page)- Curriculum Vitae.
- All transcripts of the years / semesters validated since the high school diploma at the date of application.
- Motivation letter.
Additional supporting documents- VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).
- Syllabus of courses providing asked by the entrance jury.
(https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=prerequis&#m2_entran…)Domestic
International
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
How to get a full scholarship
Looking for a fully-funded scholarship to see you into university? Find out how to boost your chances of getting one.
Scholarships to study abroad
Find scholarships to study abroad with our lists of international scholarships – categorized by country, by subject, and by type of student.
Scholarship Applications: Frequently Asked Questions
Get answers to all your questions about scholarship applications, including tips on how to find scholarships and chances of success.
More programmes from the university
Arts and Humanities (6)
Applicable Foreign Languages
Applicable Foreign Languages
Landscaping: Design, Management, Maintenance
Landscaping: Design, Management, Maintenance
Protection and Enhancement of Historical and Cultural Heritage
Protection and Enhancement of Historical and Cultural Heritage
Business and Management (6)
Administration and Local Authority Professions
Administration and Local Authority Professions
Economic and Social Administration
Economic and Social Administration
Economics and Management
Economics and Management
Insurance Bank Finance: Account Manager
Insurance Bank Finance: Account Manager
International Trade Professions
International Trade Professions
Management and Accounting Professions: Client Portfolio Manager in a Consultancy Firm
Management and Accounting Professions: Client Portfolio Manager in a Consultancy Firm
Management and Accounting Professions: Management Control
Management and Accounting Professions: Management Control
Management and Management of Organizations
Management and Management of Organizations
Trade and Distribution
Trade and Distribution
Engineering and Technology (6)
Automated Systems, Networks and Industrial Computing
Automated Systems, Networks and Industrial Computing
Computer Networks and Telecommunications Professions
Computer Networks and Telecommunications Professions
Computer Science
Computer Science
Construction Trades: Civil Engineering and Construction
Construction Trades: Civil Engineering and Construction
Electricity and Energy Professions
Electricity and Energy Professions
Electronics Professions: Communication, Embedded Systems
Electronics Professions: Communication, Embedded Systems
Energy and Propulsion
Energy and Propulsion
IT Professions: Administration and Security of Systems and Networks
IT Professions: Administration and Security of Systems and Networks
IT Professions: Software Design, Development and Testing
IT Professions: Software Design, Development and Testing
IT, Management
IT, Management
Industry Jobs: Industrial Production Management
Industry Jobs: Industrial Production Management
Industry Professions: Aeronautical Industry
Industry Professions: Aeronautical Industry
Industry Professions: Design of Industrial Products
Industry Professions: Design of Industrial Products
Industry Professions: Mechatronics, Robotics
Industry Professions: Mechatronics, Robotics
Instrumentation, Measurement and Quality Control Professions
Instrumentation, Measurement and Quality Control Professions
Maintenance and Technology: Electronics, Instrumentation
Maintenance and Technology: Electronics, Instrumentation
Maintenance and Technology: Industrial Control
Maintenance and Technology: Industrial Control
Mathematics, Physics and Engineering Sciences
Mathematics, Physics and Engineering Sciences
Pharmaceutical, Cosmetics and Health Industries: Management, Production And Development
Pharmaceutical, Cosmetics and Health Industries: Management, Production And Development
Process Engineering And Industrial Bioprocesses
Process Engineering And Industrial Bioprocesses
STAPS, Sciences for Engineers
STAPS, Sciences for Engineers
Science and Technology
Science and Technology
Sound and Image Techniques
Sound and Image Techniques
Technical Sales
Technical Sales
Life Sciences and Medicine (6)
Bio-Industries and Biotechnologies
Bio-Industries and Biotechnologies
Chemistry, Life Sciences
Chemistry, Life Sciences
IT, Life Sciences
IT, Life Sciences
Life Sciences
Life Sciences
Mathematics, Life Sciences
Mathematics, Life Sciences
Professional Optics
Professional Optics
Quality, Hygiene, Safety, Health, Environment
Quality, Hygiene, Safety, Health, Environment
STAPS-Adapted Physical Activity-Health
STAPS-Adapted Physical Activity-Health
Natural Sciences (6)
Analytical Chemistry, Control, Quality, Environment
Analytical Chemistry, Control, Quality, Environment
Chemical Physics
Chemical Physics
Chemistry
Chemistry
Earth Sciences
Earth Sciences
Economics, Mathematics
Economics, Mathematics
Environmental Protection and Management Professions
Environmental Protection and Management Professions
Geosciences, Physics, Chemistry
Geosciences, Physics, Chemistry
IT, Mathematics
IT, Mathematics
Mathematics
Mathematics
Physics
Physics
Synthetic Chemistry
Synthetic Chemistry
Social Sciences and Management (6)
Communication Professions: Communication Officer
Communication Professions: Communication Officer
Fitness Professions
Fitness Professions
HRM Professions: Assistant
HRM Professions: Assistant
Law
Law
Law, Economy
Law, Economy
Law, IT
Law, IT
Law, Science and Innovation
Law, Science and Innovation
STAPS-Education and Motricity
STAPS-Education and Motricity
STAPS-Sports Management
STAPS-Sports Management
STAPS-Sports Training
STAPS-Sports Training
Sciences, Education, Mediation
Sciences, Education, Mediation
Sociology
Sociology
Arts and Humanities (6)
English for Specific Purposes (ESP)
English for Specific Purposes (ESP)
Narration, Translation, New Media
Narration, Translation, New Media
Research in Design
Research in Design
Business and Management (6)
Business Management and Human Resources Management
Business Management and Human Resources Management
Economic Analysis and Risks Governance
Economic Analysis and Risks Governance
Economics of Sustainable Development and The Environment
Economics of Sustainable Development and The Environment
Economics of Sustainable Food
Economics of Sustainable Food
Economics of mobility and transport
Economics of mobility and transport
Energy Economics
Energy Economics
International Business
International Business
International Strategy and Management
International Strategy and Management
Legal Business Structures and Techniques
Legal Business Structures and Techniques
Master in Management (Research)
Master in Management (Research)
Network Industries and Digital Economy
Network Industries and Digital Economy
Purchasing and Supplier Relationship Management
Purchasing and Supplier Relationship Management
Purchasing and Supply Chain Global Management
Purchasing and Supply Chain Global Management
Risk and Asset Management
Risk and Asset Management
Strategy, Engineering and Financial Innovation
Strategy, Engineering and Financial Innovation
Engineering and Technology (6)
Advanced Manufacturing and Smart Systems
Advanced Manufacturing and Smart Systems
Advanced Networks and Optimization
Advanced Networks and Optimization
Advanced Wireless Communications Systems
Advanced Wireless Communications Systems
Artificial intelligence
Artificial intelligence
Automotive and Aeronautic Intelligent Systems-Apprenticeship
Automotive and Aeronautic Intelligent Systems-Apprenticeship
Big data Management and Analytics
Big data Management and Analytics
Communication and Data Engineering
Communication and Data Engineering
Computer & Network Systems
Computer & Network Systems
Control, Signal and Image Processing
Control, Signal and Image Processing
Data Management in Large-Scale Distributed Systems
Data Management in Large-Scale Distributed Systems
Data Science
Data Science
Data Science: Artificial Intelligence
Data Science: Artificial Intelligence
Data Science: Health, Insurance and Finance-apprenticeship
Data Science: Health, Insurance and Finance-apprenticeship
Design and System Science
Design and System Science
Digital Transformation for Industry
Digital Transformation for Industry
European Master in Biological and Chemical Engineering for a Sustainable Bioeconomy
European Master in Biological and Chemical Engineering for a Sustainable Bioeconomy
Food Engineering and Products Design
Food Engineering and Products Design
Genomics informatics and Mathematics for Health and Environment
Genomics informatics and Mathematics for Health and Environment
Human Computer Interaction
Human Computer Interaction
Industrial Robotics
Industrial Robotics
Integration Circuits Systems
Integration Circuits Systems
Mechanics of Materials for Engineering and Integrity of Structure
Mechanics of Materials for Engineering and Integrity of Structure
Mechanics of Materials for Engineering and Integrity of Structures
Mechanics of Materials for Engineering and Integrity of Structures
Microbiology and Biological Bioengineering
Microbiology and Biological Bioengineering
Mobile Autonomous Systems
Mobile Autonomous Systems
Molecular Chemistry and Interfaces
Molecular Chemistry and Interfaces
Multimedia Networking
Multimedia Networking
Nuclear Energy
Nuclear Energy
Optical Networks and Photonic Systems
Optical Networks and Photonic Systems
Parallel and Distributed Computer Science
Parallel and Distributed Computer Science
Parisian Computer Sciences Research Master
Parisian Computer Sciences Research Master
Physics and Energy Engineering (PIE): New Technologies for Energy
Physics and Energy Engineering (PIE): New Technologies for Energy
Research and Development for Analytical Strategies
Research and Development for Analytical Strategies
Risk and Resilience Engineering and Management
Risk and Resilience Engineering and Management
Smart Aerospace and Autonomous Systems
Smart Aerospace and Autonomous Systems
Strategy and Financial Engineering
Strategy and Financial Engineering
Virtual Reality and Intelligent Systems
Virtual Reality and Intelligent Systems
Life Sciences and Medicine (6)
Agroecology, Knowledge, Territories and Society
Agroecology, Knowledge, Territories and Society
Biological Systems and Physical Concepts
Biological Systems and Physical Concepts
Biology of Aging
Biology of Aging
Biomedical Imaging
Biomedical Imaging
Biotherapies : Tissue, Cell, Gene
Biotherapies : Tissue, Cell, Gene
Cancerology
Cancerology
Cell Signalling and Integrative Neurosciences
Cell Signalling and Integrative Neurosciences
Computational Neurosciences and Neuro-engineering
Computational Neurosciences and Neuro-engineering
Development of Drugs and Health Products
Development of Drugs and Health Products
Ecological Approach to The Landscape
Ecological Approach to The Landscape
Environmental Health Toxicology
Environmental Health Toxicology
Evolutionary and Functional Ecology
Evolutionary and Functional Ecology
From Agronomy to Agroecology
From Agronomy to Agroecology
Fundamental Microbiology
Fundamental Microbiology
Gene Cell Development
Gene Cell Development
Genetics, Genomics, Epigenetics and Evolution (GenE2)
Genetics, Genomics, Epigenetics and Evolution (GenE2)
Governance of Transition, Ecology and Societies
Governance of Transition, Ecology and Societies
Health Nutrition
Health Nutrition
International Development and Registration of Medicine and Health Products
International Development and Registration of Medicine and Health Products
Life Sciences and Health – Infectiology : Biology of Infectious Diseases - Cambodia
Life Sciences and Health – Infectiology : Biology of Infectious Diseases - Cambodia
Medical Radiophysics
Medical Radiophysics
Neurological Handicap
Neurological Handicap
Neurological Handicap FR/EN
Neurological Handicap FR/EN
Plant Sciences
Plant Sciences
Polymers and Biomaterials
Polymers and Biomaterials
Predictive and Integrative Animal Biology
Predictive and Integrative Animal Biology
Quality Control : Medication
Quality Control : Medication
Regulatory Affairs of the Health Industry
Regulatory Affairs of the Health Industry
Reproduction and Development
Reproduction and Development
Soil Management and Ecosystem Services
Soil Management and Ecosystem Services
Systems and Synthetic Biology
Systems and Synthetic Biology
Training for Higher Education in Life Sciences (Preparation For The SV-STU Aggregation)
Training for Higher Education in Life Sciences (Preparation For The SV-STU Aggregation)
Natural Sciences (6)
Adaptation to Climate Change
Adaptation to Climate Change
Analysis of Food-Related Health Risks
Analysis of Food-Related Health Risks
Analysis, Number Theory and Geometry
Analysis, Number Theory and Geometry
Arctic Studies
Arctic Studies
Astronomy and Astrophysics
Astronomy and Astrophysics
Biodiversity, Genomics and Environment
Biodiversity, Genomics and Environment
Chemical Pollution and Environmental Management
Chemical Pollution and Environmental Management
Chemistry International Track
Chemistry International Track
Climate, Land Use and Ecosystem Services
Climate, Land Use and Ecosystem Services
Complex Systems
Complex Systems
Conservation Ecology, Ecological Engineering: Research and Expertise
Conservation Ecology, Ecological Engineering: Research and Expertise
Data Science: Health, Insurance and Finance
Data Science: Health, Insurance and Finance
Engineering and Chemistry of Biomolecules
Engineering and Chemistry of Biomolecules
Etude Des Climats De La Terre / Studying the Climates of The Earth
Etude Des Climats De La Terre / Studying the Climates of The Earth
FIPDes (Food Innovation and Product Design)
FIPDes (Food Innovation and Product Design)
Fluid Dynamics and Energetics
Fluid Dynamics and Energetics
Fundamental Concepts of Physics
Fundamental Concepts of Physics
Higher Education Training In Physics – Paris Saclay
Higher Education Training In Physics – Paris Saclay
Higher Education Training in Physics – Montrouge
Higher Education Training in Physics – Montrouge
Hydrology, Hydrogeology
Hydrology, Hydrogeology
Inorganic, Physical and Solid Chemistry
Inorganic, Physical and Solid Chemistry
Instrumentation and Molecular Analysis Methods
Instrumentation and Molecular Analysis Methods
International Master's programme in Quantum Science and Technology
International Master's programme in Quantum Science and Technology
Jacques Hadamard Track - Orsay campus
Jacques Hadamard Track - Orsay campus
Large Scale Accelerators and Lasers - Erasmus Mundus Lascala
Large Scale Accelerators and Lasers - Erasmus Mundus Lascala
Mathematics of Randomness
Mathematics of Randomness
Mathematics, Vision, Learning
Mathematics, Vision, Learning
Molecular Nano Bio Photonics
Molecular Nano Bio Photonics
Nanosciences
Nanosciences
Nuclei, Particles, Astroparticles and Cosmology
Nuclei, Particles, Astroparticles and Cosmology
Optical Industrial Professions
Optical Industrial Professions
Optimization
Optimization
Organic Chemistry
Organic Chemistry
Pharmaceutical Chemistry
Pharmaceutical Chemistry
Physics of Plasmas and Fusion
Physics of Plasmas and Fusion
Physics, Environment, Processes
Physics, Environment, Processes
Planetary Science and Space Exploration
Planetary Science and Space Exploration
Plasmas Lasers Accelerateurs Tokamaks - Large Facilities
Plasmas Lasers Accelerateurs Tokamaks - Large Facilities
Prospective Modeling: Economy, Environment, Energy
Prospective Modeling: Economy, Environment, Energy
Quantitative Finance
Quantitative Finance
Quantum, Light, Materials, and Nano Sciences
Quantum, Light, Materials, and Nano Sciences
Theory and Approach of The Landscape Project
Theory and Approach of The Landscape Project
Tools and Systems of Astronomy And Space
Tools and Systems of Astronomy And Space
Training in Higher Education in Chemistry
Training in Higher Education in Chemistry
Social Sciences and Management (6)
Anglophone and Hispanic Cultural Studies
Anglophone and Hispanic Cultural Studies
Arbitration and International Commerce
Arbitration and International Commerce
Business Contract Law
Business Contract Law
Business Criminal Law and Compliance
Business Criminal Law and Compliance
Business Real Estate Law
Business Real Estate Law
Business, Tax & Financial Market Law (BTFML)
Business, Tax & Financial Market Law (BTFML)
Company Lawyer/Solicitor
Company Lawyer/Solicitor
Competition and Contract Law
Competition and Contract Law
Contemporary Sociology
Contemporary Sociology
Corporate Lawyer
Corporate Lawyer
Diplomacy and Strategic Negotiation
Diplomacy and Strategic Negotiation
Dynamics of Emerging and Developing Countries
Dynamics of Emerging and Developing Countries
Engineering in Touristic and Ecologic Transition
Engineering in Touristic and Ecologic Transition
Environmental, Safety and Quality Law in Companies
Environmental, Safety and Quality Law in Companies
Graduate Teacher Training Program in English Studies and ESP
Graduate Teacher Training Program in English Studies and ESP
Human Rights and Companies
Human Rights and Companies
Intellectual Property and Business Law
Intellectual Property and Business Law
International Business Law
International Business Law
International Cooperation Policies
International Cooperation Policies
Law for Aviation and Airport Activities
Law for Aviation and Airport Activities
Law, Entrepreneurship and Digital (LEAD)
Law, Entrepreneurship and Digital (LEAD)
Mergers & Acquisitions
Mergers & Acquisitions
Physical activity, Exercise and Health - PAEH
Physical activity, Exercise and Health - PAEH
Quantitative Sociology and Demography
Quantitative Sociology and Demography
Space and Telecommunications Law
Space and Telecommunications Law
Sport Leisure and Event Management
Sport Leisure and Event Management
State Law of Religions in France and Europe
State Law of Religions in France and Europe
Supply Chain and Operations Management
Supply Chain and Operations Management