Ciência da Computação e Engenharia
Corpo docente: Faculdade de Tecnologia da Informação
Ano letivo: 2022/2023
Abreviatura: DVI4
Duração do estudo: 4 anos
Programa de Graduação: Ciência da Computação e Engenharia
Língua de instrução: checo, inglês
Forma de estudo: tempo integral, combinado
Credenciado de: 2007 Credenciado até: 2024
Perfil
O programa de doutorado em Ciência da Computação e Engenharia destina-se a graduados de destaque em um mestrado concluído em qualquer universidade. A educação adquirida neste programa de graduação também inclui preparação e certificação para trabalhos científicos. Os graduados do programa de doutorado estão prontos para iniciar seu próprio trabalho científico, de pesquisa e de gestão. Os graduados podem utilizar sua criatividade em distintos centros de pesquisa como chefes de equipes de pesquisa e desenvolvimento, bem como na carreira científica e pedagógica em universidades. Os graduados deste programa também podem ocupar cargos de destaque em grandes instituições e empresas, onde é necessário um trabalho criativo e independente, bem como eficiência na análise de problemas complexos e na sugestão de soluções novas e originais. Os graduados recebem o título de Doutor (Ph.D.) após seus nomes. O número esperado de alunos aceitos é de 40 a 60 por ano.
Extensão dos exames finais estaduais
O escopo de um exame de doutorado é determinado pelo plano de estudos individual do aluno examinado e pelo tema de sua futura tese de dissertação. Tanto no exame como no relatório sobre o tema da tese de dissertação, o aluno prova os seus conhecimentos sobre o estado da arte das metodologias, teorias e suas aplicações a um nível superior ao comum nos programas de estudos de mestrado. O exame de doutoramento compreende também uma avaliação dos objetivos presumidos da futura tese de dissertação do aluno, do método de solução escolhido e dos resultados originais até agora obtidos.
Exemplos de teses
Definição e controle de processos em sistemas de informação orientados a objetos
Arquiteturas de computador dinamicamente reconfiguráveis
Arquiteturas de hardware e software de sistemas multiprocessadores
Aplicação de abordagens formais para a verificação da testabilidade de circuitos digitais
Resolvendo grandes sistemas de equações diferenciais de maneiras extremamente rápidas e exatas
Compiladores paralelos: modelos, técnicas e implementação
Modelagem de sistemas heterogêneos
Especificação formal e verificação de protocolos de comunicação
Sistemas de segurança biométrica
Métodos de aquisição de conhecimento da WWW
Processamento automático de voz para aplicativos de segurança
Aceleração do reconhecimento de imagem raster