Sains Komputer dan Kejuruteraan
Fakulti: Fakulti Teknologi Maklumat
Tahun akademik: 2022/2023
Singkatan: DVI4
Tempoh Pengajian: 4 tahun
Program Ijazah: Sains Komputer dan Kejuruteraan
Bahasa Pengantar: Bahasa Czech, Bahasa Inggeris
Bentuk Pengajian: sepenuh masa, gabungan
Ditauliahkan dari: 2007 Terakreditasi hingga: 2024
Profil
Program ijazah kedoktoran dalam Sains Komputer dan Kejuruteraan bertujuan untuk lulusan cemerlang dari peringkat sarjana yang diselesaikan di mana-mana universiti. Pendidikan yang diperoleh dalam program ijazah ini juga merangkumi persiapan dan pensijilan untuk kerja ilmiah. Lulusan program ijazah kedoktoran bersedia untuk memulakan kerja ilmiah, penyelidikan dan pengurusan mereka sendiri. Para graduan dapat memanfaatkan kreativiti mereka di pusat penyelidikan terkenal sebagai ketua pasukan penyelidikan dan pembangunan serta kerjaya ilmiah dan pedagogi di universiti. Lulusan program ini juga dapat menempati kedudukan tinggi di institusi dan syarikat besar, di mana pekerjaan kreatif dan bebas diperlukan serta kecekapan dalam menganalisis masalah yang kompleks dan mencadangkan penyelesaian baru dan asli. Para graduan mendapat gelaran Doktor (Ph.D.) berikut nama mereka. Jumlah pelajar yang diharapkan diterima adalah 40 hingga 60 tahun.
Lanjutan Peperiksaan Akhir Negeri
Skop pemeriksaan keadaan doktor ditentukan oleh rancangan kajian individu pelajar yang diperiksa dan berdasarkan tema tesis disertasi masa depannya. Dalam peperiksaan dan juga laporan mengenai tema tesis disertasi, pelajar membuktikan pengetahuannya tentang metodologi, teori, dan aplikasinya yang canggih pada tahap yang melebihi tahap umum dalam program pengajian MSc. Pemeriksaan keadaan doktoral juga merangkumi penilaian terhadap tujuan yang disangka akan tesis disertasi masa depan pelajar, kaedah penyelesaian yang dipilih, dan sejauh mana keputusan yang diperoleh.
Contoh tesis
Definisi dan kawalan proses dalam sistem maklumat berorientasikan objek
Senibina komputer yang boleh dikonfigurasi semula secara dinamik
Senibina perkakasan dan perisian sistem multiprosesor
Menerapkan pendekatan formal untuk pengesahan kebolehujian rangkaian digital
Menyelesaikan sistem persamaan pembezaan yang besar dengan cara yang sangat pantas dan tepat
Penyusun selari: model, teknik, dan pelaksanaan
Pemodelan sistem heterogen
Spesifikasi formal dan pengesahan protokol komunikasi
Sistem keselamatan biometrik
Kaedah memperoleh pengetahuan dari WWW
Pemprosesan pertuturan automatik untuk aplikasi keselamatan
Pecutan pengecaman gambar raster