Theoretical computer science

Follow-up Master's degree in full-time form. The language of instruction is Czech.

The programme can be studied only as a single subject with a specialization (Discrete algorithms and models, Formal analysis of computer systems, Principles of programming languages or Quantum and Other Nonclassical Computational Models).

Submit an application

Admission to Master's degree programmes in 2022/2023 (beginning: Spring 2023)
Submission deadline until midnight 30 November 2022.

What will you learn?

The study of theoretical computer science focuses on a deeper understanding of basic principles underpinning the development of contemporary information technologies, including non-classical computational devices such as neural networks or quantum computers. Together with the active mastering of advanced theoretical as well as practical concepts, a special emphasis is put on the development of abstract thinking. The students gain a deeper understanding of advanced algorithms, principles of modern programming languages, and methods for verification and analysis of computer programs. Further, they understand the basic advantages and limitations of non-classical computational devices. After successfully completing the programme, the students are qualified for a wide variety of positions requiring complex expert skills.

“There is nothing as practical as a good theory (Kurt Lewin).”

Practical training

The practical training in not an obligatory part of the study program.

Further information

Career opportunities

After successfully completing the study programme, the students are qualified for a variety of IT positions including a developer, system architect, or verification engineer. Solid mathematical skills together with deep knowledge of non-trivial algorithms enable the students to find jobs in the financial sector. The acquired knowledge and skills may be well used also in the follow-up Ph.D. programme.


1 Aug – 30 Nov 2022

Submit your application during this period

Submit an application

Study options

Single-subject studies with specialization

In the single-subject studies, the student deepens knowledge in the concrete focus of the degree programme and chooses one specialization. The specialization is stated in the university diploma.

Follow-up studies

After completion of the Master's studies, it is possible to continue further studies in a Doctoral degree programme (after satisfying the admission requirements).

Study information

Provided by Faculty of Informatics
Type of studies Follow-up master's
Mode full-time Yes
combined No
distance No
Study options single-subject studies No
single-subject studies with specialization Yes
major/minor studies No
Standard length of studies 2 years
Language of instruction Czech

Do you have any questions?
Send us an e-mail to

prof. RNDr. Jiří Barnat, Ph.D.



You are running an old browser version. We recommend updating your browser to its latest version.

More info