• Training Structure

    College of Sciences

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
  • CHOICE 1

    30 credits
    • Choose one of the following two options:

      • Industrial Internship

        30 credits
      • Academic Internship

        30 credits

Admission

Registration Procedures

Applications can be submitted through the following platforms: 

Read more