Field of Study Details

Computer Science and Engineering

Abbreviation: DVI4

Length of Study: 4 years

Degree Programme: Computer Science and Engineering

Language of Instruction: Czech,English

Form of Study: full-time,combined

Accredited from: 2007 Accredited till: 2024

Information for applicants


The goal of the doctoral study programme is to provide outstanding graduates from the MSc study programme with a specialised university education of the highest level in certain fields of information technology, including especially the areas of information systems, computer-based systems and computer networks, computer graphics and multimedia, and intelligent systems. The education obtained within this study programme also comprises a training and attestation for scientific work.

Occupational profiles of graduates with examples
  • Graduates from the doctoral study programme are trained to independently work in research, development, or management.
  • They are able to solve and/or to lead teams solving advanced conceptual, research, development, or production problems in the area of contemporary information technology and its applications.
  • They can be engaged to work on creative tasks, to lead research and development teams, or to work in management of companies or organizations whenever there are required abilities to work in an independent and creative way, to analyze complex problems, and to propose and realize new and original solutions. Graduates from the doctoral study programme can also teach and/or scientifically work at universities.
Extent of the State Final Examinations

The scope of a doctoral state examination is determined by the individual study plan of the student being examined and by the theme of his/her future dissertation thesis. Within the examination as well as within a report on the theme of the dissertation thesis, the student proves his/her knowledge of the state of the art methodologies, theories, and their applications on a level exceeding the level common in MSc study programmes. The doctoral state examination also encompasses an evaluation of the presumed goals of the future dissertation thesis of the student, of the chosen solution method, and of the so far obtained original results.

Examples of theses
  • Definition and control of processes in object-oriented information systems
  • Dynamically reconfigurable computer architectures
  • Architectures of hardware and software of multiprocessor systems
  • Applying formal approaches to the verification of testability of digital circuits
  • Solving large systems of differential equations in extremely fast and exact ways
  • Parallel compilers: models, techniques, and implementation
  • Heterogeneous systems modelling
  • Formal specification and verification of communication protocols
  • Biometric security systems
  • Methods of acquiring knowledge from WWW
  • Automatic speech processing for security applications
  • Acceleration of raster image recognition

Choose academic year and curriculum

2nd year of study, winter semester

JADPh.D. Test of EnglishCExFEEC

all years of study, winter semester

APDSelected Topics on Language Parsing and TranslationEExFIT
ASDAudio and Speech Processing by Humans and MachinesEExFIT
DMA1Statistics, Stochastic Procesess, Operational AnalysisEExFEEC
DPC-TK1Optimization Methods and Queuing TheoryEExFEEC
FADFormal Program AnalysisEExFIT
IV108BioinformaticsEExFI MUNI
JA6DEnglish for PhD StudentsEExFEEC
MIDModern Mathematical Methods in InformaticsEExFME
MMDAdvanced Methods of 3D Scene VisualisationEExFIT
MSDModelling and SimulationEExFIT
MZDModern Methods of Speech ProcessingEExFIT
ORIDOptimal Control and IdentificationEExFIT
PBDAdvanced Biometric SystemsEExFIT
PDDApplications of Parallel ComputersEExFIT
PGDComputer GraphicsEExFIT
PNDAdvanced Techniques in Digital DesignEExFIT
PTDThe Principles of Testable Design SynthesisEExFIT
RGDRegulated Grammars and AutomataEExFIT
SIDSelected Topics of Software Engineering and Database Systems *)EExFIT
TIDModern Theoretical Computer ScienceEExFIT
TJDProgramming Language TheoryEExFIT
ZPDNatural Language ProcessingEExFIT
ZZDKnowledge Discovery in Databases *)EExFIT

all years of study, summer semester

BIDInformation System Security and CryptographyEExFIT
EUDEvolutionary and neural hardwareEExFIT
EVDEvolutionary ComputationEExFIT
ISDIntelligent SystemsEExFIT
JA6DEnglish for PhD Students *)EExFEEC
KRDClassification and recognitionEExFIT
MADSelected Chapters on MathematicsEExFIT
MLDMathematical LogicEExFME
PFTDTheory of Financial Markets *)EExFBM
SODFault Tolerant SystemsEExFIT
TADTheory and Applications of Petri NetsEExFIT
TKDCategory TheoryEExFME
VNDHigly Sophisticated ComputationsEExFIT
VPDSelected Topics of Information SystemsEExFIT
Course is not open in this academic year
Compl: Course completion: Ex - examination, Cr - credit, ClCr - classified credit, Co - colloquium
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective
Back to top