Software Engineering and Security
Software Architecture
Advanced Programming Techniques
Formal Methods for Safe Programming
Digital Security
Foundations of Computer Science
S3
Software Engineering
Advanced Object-Oriented Programming
Formal Languages and Software Verification
Advanced Functional Programming
Assembler and Compilation OR Operations Research
S4
Network and Protocol Security
Formal Methods for the Development of Safe Software
Concurrent Programming and Verification
Artificial Intelligence
Operations Research Extensions OR Hardware architecture
Blockchain OR Secure Information Systems Design
S5
Green IT & IT for Green
Quantum Computing and Operations Research
Reasoned Programming + Advanced Security OR Optimization 1 + Optimization 2
Safe Systems Subtrack
S3 : Assembler and Compilation
S4 : Hardware Architecture
S5 : Advanced Reasoned Programming and Advanced Security
Computational Aspects of Operations Research Subtrack:
S3 : Operations Research
S4 : Operations Research Extensions
S5 : Optimization 1 + Optimization 2
Programs and Degrees
Dual Programs
Master's degrees co-awarded with the University of Paris-Saclay :
Master CILS (Design, Software Intelligence, and Systems) (Évry campus) Master FIIL (Foundations of Computer Science and Software Engineering) (Orsay campus)
Master's degrees in partnership:
Master SECRETS (Security of Content, Networks, Telecommunications, and Systems) (Versailles Saint-Quentin campus)
Other programs or degrees are available at universities abroad.
Software Design and Development Engineer
Formal Methods Engineer
R&D Engineer
Cybersecurity Expert
Formal Modeling of Railway Triggering Using a Synchronous Formal Language
Safety Maintenance: Study and Implementation of a Security Monitoring Assistance Solution
Study, Design, and Development of a Software Package Solution
Contribution to a Tool for Finding Bugs in Software through Static Analysis
Study, Design, and Implementation of a Cross-Platform Software Testing Solution
Formal Proof in Functional Analysis