The specialization focuses on the design and construction of digital systems that integrate both software and hardware components. A significant part of the curriculum is dedicated to system-level design, testing, and analysis, combining low-level abstraction knowledge with engineering methods. The specialization is built on strong theoretical foundations, including machine learning, combinatorial optimization, and statistics, and is closely linked to modern computer architectures and experimental laboratory work. Emphasis is also placed on formal verification, which is increasingly important in industrial applications.