Informatica e ingegneria
Facoltà: Facoltà di Informatica
Anno accademico: 2022/2023
Abbreviazione: DVI4
Durata dello studio: 4 anni
Corso di laurea: Informatica e ingegneria
Lingua di insegnamento: ceco, inglese
Forma di studio: a tempo pieno, combinata
Accreditato dal: 2007 Accreditato fino al: 2024
Profilo
Il corso di dottorato in Informatica e Ingegneria è destinato a laureati eccezionali di un master completato in qualsiasi università. L'istruzione acquisita in questo corso di laurea comprende anche la preparazione e la certificazione per il lavoro scientifico. I laureati del corso di dottorato sono pronti per iniziare il proprio lavoro scientifico, di ricerca e manageriale. I laureati possono utilizzare la loro creatività in distinti centri di ricerca come capi di team di ricerca e sviluppo, nonché nella carriera scientifica e pedagogica nelle università. I laureati di questo programma possono anche occupare posizioni elevate in grandi istituzioni e aziende, dove è richiesto un lavoro creativo e indipendente, nonché efficienza nell'analizzare problemi complessi e suggerire soluzioni nuove e originali. I laureati ricevono il titolo di Dottore (Ph.D.) dopo i loro nomi. Il numero previsto di studenti ammessi è compreso tra 40 e 60 all'anno.
Esame Finale di Stato
La portata di un esame di stato di dottorato è determinata dal piano di studi individuale dello studente in esame e dal tema della sua futura tesi di laurea. All'interno dell'esame, nonché all'interno di una relazione sul tema della tesi di laurea, lo studente dimostra la sua conoscenza delle metodologie, delle teorie e delle loro applicazioni all'avanguardia a un livello superiore al livello comune nei corsi di laurea magistrale. L'esame di stato di dottorato prevede anche una valutazione degli obiettivi presunti della futura tesi di laurea dello studente, del metodo di soluzione prescelto e dei risultati originali finora ottenuti.
Esempi di tesi
Definizione e controllo dei processi nei sistemi informativi orientati agli oggetti
Architetture di computer riconfigurabili dinamicamente
Architetture hardware e software di sistemi multiprocessore
Applicare approcci formali alla verifica della testabilità dei circuiti digitali
Risolvere grandi sistemi di equazioni differenziali in modi estremamente veloci ed esatti
Compilatori paralleli: modelli, tecniche e implementazione
Modellazione di sistemi eterogenei
Specifica formale e verifica dei protocolli di comunicazione
Sistemi di sicurezza biometrici
Metodi di acquisizione della conoscenza dal WWW
Elaborazione vocale automatica per applicazioni di sicurezza
Accelerazione del riconoscimento delle immagini raster