The program prepares experts for research and development in the areas of Theoretical Computer Science and Artificial Intelligence. Education is implemented by doing independent research under the supervision of senior experts. In addition to obtaining foundations in Computer Science, the students acquire deep knowledge in a chosen specialization area such as: algorithms and data structures and their analysis, knowledge representation and reasoning, cognitive sciences and their applications, machine learning, multi-agent systems, problem modeling (e.g., in automated planning or decision making) and problem solving using logical, probabilistic, and nature-inspired methods. Students learn how to formulate research goals, prepare a project proposal to achieve the set goals, and present the results in the international environment. Further, they gain experience teaching and mentoring students including thesis supervision.