• 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 computation and applications

    4 credits
  • Graphs, algorithms, and complexity

    4 credits
  • Advanced calculation models

    4 credits
  • OPTION 1

    30 credits
    • Choose one of two options:

      • Industrial internship

        30 credits
      • Academic internship

        30 credits

Admission

Registration procedures

Applications can be submitted on the following platforms: 

Read more