• Training structure

    Faculty of Science

Program

  • Industrial RO

    4 credits
  • Automatic program verification

    4 credits
  • Specialized Algorithms

    4 credits
  • Conferences

    2 credits
  • Constraints

    4 credits
  • Advanced formal calculation and applications

    4 credits
  • Graphs, algorithms and complexity

    4 credits
  • Advanced calculation models

    4 credits
  • CHOICE 1

    30 credits
    • Your choice: 1 of 2

      • Industrial internship

        30 credits
      • Academic internship

        30 credits

Admission

How to register

Applications are made on the following platforms: 

Read more