Software Engineering and Security

Here’s the translation:

Software Architecture
Advanced Programming Techniques
Formal Methods for Safe Programming
Digital Security
Foundations of Computer Science
This program is implemented starting in the second year of study at ensIIE. From the third semester, a more specialized focus on computer science is offered, including foundational courses (compilation, formal languages, models of computation), an introduction to hardware/system architecture, and advanced programming techniques (functional programming, thread-based programming, middleware, software engineering). There are also specific tracks in secure programming (software validation and verification, formal methods for developing secure software, rational programming) and digital security (network security, security of networks and protocols, information systems security, advanced security).
Responsable de la formation
Guillaume Burel
Samovar
resp-parcours@listes.ensiie.fr
List of courses
Semestre

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.

 

Job

  • Software Design and Development Engineer  

  • Formal Methods Engineer  

  • R&D Engineer  

  • Cybersecurity Expert  

Stages example

  • 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

I entered ensIIE with a DUT in computer science and completed the common core curriculum for a year and a half before specializing in cybersecurity for a semester at Abertay University in Scotland. My final year was spent pursuing a dual degree in the FIIL master's program.

Guillaume Jicquel
Promotion 2017
Cybersecurity Consultant, specialized in the industrial sector.

The FIIL program trains us to be rigorous in software design and testing to create safer software, regardless of the application domain.

Amélie Delga
Promotion 2016
Fiche Parcours génie Logiciel
 (pdf, 242.76 KB)
ENSIIE_PARTAGER_TXT :
ENSIIE_VOIR_AUSSI

Candidatura en alternancia

18.02.2025