Research Breakthrough Possible @S-Logix
Office Address
- 2nd Floor, #7a, High School Road, Secretariat Colony Ambattur, Chennai-600053 (Landmark: SRM School) Tamil Nadu, India
- pro@slogix.in
- +91-81240 01111
The École Normale Supérieure Paris-Saclay is a French grande école founded in Cachan in 1912. École Normale Supérieure Paris-Saclay has a powerful focus on research and is known for its excellence in the sciences.
ENS Paris-Saclay is a highly trans-disciplinary institution with research focusing on various areas, such as condensed matter physics, high-energy physics, and astrophysics. ENS Paris-Saclay equips students for careers in teaching and research with a research led-education of the highest standard.
École Normale Supérieure Paris-Saclay advances cutting-edge research activities while delivering excellent graduate training at both a doctorate and master-s level. At ENS Paris-Saclay, the research demonstrates a commitment to connecting fundamental research to practical applications, integrating a significant experimental aspect.
Address: 4 Av. des Sciences, 91190 Gif-sur-Yvette, France
Phone: +33 1 81 87 50 00
Email: communication@ens-paris-saclay.fr
Website: https://ens-paris-saclay.fr/en
University Type: Public University
• Bachelor-s degree in computer science
• Master-s degree in computer science research (MPRI)
• Master in Systems Engineering
• Ph.D. in computer science
ENS Paris-Saclay - Cachan - France is known for its innovative computer science research in areas such as
• Algorithms
• Automata and Formal Languages
• Combinatorics and Computer algebra
• Computability and Complexity
• Cryptography
• Coding and Security
• Logics and Semantics of Programs
• System Programming
• Analysis and Verification
• Artificial Intelligence
Algorithms:
• Algorithmic Game Theory
• Approximation Algorithms and Combinatorial Optimization
• Computational Geometry and Topology
• Distributed Algorithms and Networks
• Parameterized Complexity
Automata and Formal Languages:
• Formal Verification of Hardware and Software Systems
• Automata Theory and Logic
• Description Logics and Ontology Reasoning
Combinatorics and Computer algebra:
• Combinatorial Optimization and Graph Theory
• Computer Algebra and Algorithmic Number Theory
• Discrete Mathematics and Combinatorics
Computability and Complexity:
• Complexity Theory and Circuit Complexity
• Logic and Foundations of Computer Science
• Quantum Computation and Information
Cryptography:
• Cryptanalysis and Cryptology
• Information-Theoretic Cryptography
• Cryptography for Cloud Computing and Big Data
Coding and Security:
• Error-Correcting Codes and Information Theory
• Cybersecurity and Information Security
• Privacy-Preserving Data Analysis
Logics and Semantics of Programs:
• Programming Languages and Semantics
• Type Systems and Proof Theory
• Concurrency Theory and Process Algebras
System Programming:
• Operating Systems and Distributed Systems
• Programming Language Implementation
• Compiler Construction and Program Optimization
Analysis and Verification:
• Static Analysis and Abstract Interpretation
• Model Checking and Automated Reasoning
• Formal Methods for Software and Hardware Verification
Artificial Intelligence:
• Natural Language Processing and Information Retrieval
• Robotics and Autonomous Systems
• Reinforcement Learning and Decision Making
• Centre Borelli
• Computer science laboratory (LMF)
• Supramolecular and Macromolecular Photophysics and Photochemistry (PPSM)
• Automated Production Research Laboratory (LURPA)
• Farman Institute
• Laboratory of Mechanics and Technology (LMPS)
• Design Research Centre
• ENS Paris-Saclay International Scholarship Programme
• Fulbright / ENS Paris-Saclay Scholarship Program
• Programme de bourses de doctorat Groupe des ENS - China Scholarship Council (CSC)
• International joint Ph.D. funding programs
• Paris-Saclay University Ph.D. Scholarship
• Marie Skłodowska-Curie Actions (MSCA) PhD Scholarship
• French Embassy Ph.D. Scholarship Program
• Eiffel Excellence Scholarship Program
• AXA Research Fund Ph.D. Scholarships
Funded projects in computer science at ENS Paris-Saclay - Cachan - France
• Formal Methods for Security: From Theory to Practice
• Interactive Machine Learning for Personalized Healthcare
• Data-Driven Approaches for Computational Creativity
• Quantum Cryptography and Quantum Secure Computation
• Integrating Verification and Synthesis for Reliable Cyber-Physical Systems
To be considered for the Ph.D. program in Computer Science at ENS Paris-Saclay in Cachan, France, applicants need to meet the following requirements:
• Applicants must have a Master-s degree in Computer Science or a related field
• Applicants must have a good level of proficiency in French or English, based on the language of instruction chosen
• Applicants need to submit a research proposal outlining research interests, objectives, and methodology
• Applicants must provide official transcripts from all institutions attended, including their undergraduate and graduate degrees.
• Applicants need to provide at least two letters of recommendation
• Applicants need to provide a current CV highlighting their academic and research experience
