Computer Science and Engineering
Faculty: Faculty of Information Technology
Academic year: 2022/2023
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
Profile
The doctoral degree programme in Computer Science and Engineering is intended for outstanding graduates from a master's degree completed at any university. The education acquired in this degree programme also includes preparation and certification for scientific work. Graduates of the doctoral degree programme are ready to start their own scientific, research and managerial work. The graduates can utilize their creativity at distinguished research centres as heads of research and development teams as well as in scientific and pedagogical career at universities. Graduates of this programme can also occupy high positions in large institutions and companies, where creative and independent work is required as well as efficiency at analysing complex problems and suggesting new and original solutions. The graduates receive the title of Doctor (Ph.D.) following their names. The expected number of students accepted is 40 to 60 a year.
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