Számítástechnika és mérnöki tudomány
Kar: Informatikai Kar
Tanév : 2022/2023
Rövidítés: DVI4
Tanulmányi idő: 4 év
Végzettség: Számítástechnika és mérnöki tudomány
Az oktatás nyelve: cseh, angol
Tanulmányi forma: nappali tagozatos, kombinált
Akkreditálva: 2007 -től Akkreditálva: 2024 -ig
Profil
A számítástechnikai és mérnöki doktori képzési programot bármely egyetemen végzett mesterképzésből származó kiemelkedő diplomásoknak szánják. Az ebben a szakban megszerzett oktatás magában foglalja a tudományos munka előkészítését és tanúsítását is. A doktori fokozatot végzett hallgatók készen állnak saját tudományos, kutatási és vezetői munkájuk megkezdésére. A végzősök kreativitásukat kiváló kutatóközpontokban, kutatási és fejlesztési csoportok vezetőjeként, valamint az egyetemek tudományos és pedagógiai karrierjében hasznosíthatják. A program végzősei magas pozíciókat is elfoglalhatnak nagy intézményekben és vállalatokban, ahol kreatív és önálló munkára van szükség, valamint hatékonyságra az összetett problémák elemzésében és új és eredeti megoldások javaslatában. A végzősök a nevüket követően doktori (Ph.D.) címet kapnak. Az elfogadott hallgatók várható száma évente 40-60 fő.
Az állami záróvizsgák terjedelme
A doktori államvizsga terjedelmét a vizsgálandó hallgató egyéni tanulmányi terve és a leendő dolgozat témája határozza meg. A hallgató a vizsgán, valamint a dolgozat témájáról szóló beszámolón belül bizonyítja tudását a legkorszerűbb módszerekről, elméletekről és azok alkalmazásáról az MSc tanulmányi programokban megszokott szintet meghaladó szinten. A doktori államvizsga magában foglalja a hallgató jövőbeni értekezési dolgozatának feltételezett céljainak, a választott megoldási módszer és az eddig elért eredeti eredmények értékelését is.
Példák tézisekre
Folyamatok meghatározása és vezérlése objektum-orientált információs rendszerekben
Dinamikusan újrakonfigurálható számítógépes architektúrák
Többprocesszoros rendszerek hardverének és szoftverének architektúrája
Formális megközelítések alkalmazása a digitális áramkörök tesztelhetőségének ellenőrzésére
Nagy differenciálegyenlet -rendszerek megoldása rendkívül gyorsan és pontosan
Párhuzamos fordítók: modellek, technikák és megvalósítás
Heterogén rendszerek modellezése
A kommunikációs protokollok hivatalos specifikációja és ellenőrzése
Biometrikus biztonsági rendszerek
A WWW -ből származó ismeretszerzés módszerei
Automatikus beszédfeldolgozás a biztonsági alkalmazásokhoz
A raszteres képfelismerés felgyorsítása
