Sobre o programa de treinamento
Modelos, métodos e algoritmos de projeto, análise, transformação, verificação e teste de programas e sistemas de software. Modelos, métodos, arquiteturas, algoritmos, linguagens e ferramentas de software para organizar a interação de programas e sistemas de software. Sistemas inteligentes de aprendizado de máquina, gerenciamento de banco de dados e conhecimento, ferramentas de desenvolvimento de produtos digitais. Sistemas de software de computação simbólica. Sistemas operacionais. Modelos e métodos de criação de programas e sistemas de software para processamento paralelo e distribuído de dados, linguagens e ferramentas de programação paralela