Apostila ITA 2025 Perfil PQ-12 - Pesquisador B. ESTÁ DIRECIONADA AOS CONTEÚDOS PRINCIPAIS COBRADOS NO EDITAL, APOSTILA ATUALIZADA DE ACORDO COM O EDITAL 2025, APOSTILA PERSONALIZADA.

ESCRITA:

Ordem de funções e análise de complexidade; 2) Tabelas hash e aplicações; 3) Árvores binárias de busca e aplicações; 4) Árvores balanceadas e suas aplicações; 5) Algoritmos gulosos, de divisão-e-conquista e de programação dinâmica; 6) Grafos e suas aplicações (caminhos mínimos, DFS e BFS) e 7) Orientação a objetos.

ORAL:

Projeto de Pesquisa: o candidato deve elaborar o projeto de pesquisa em dos temas listados a seguir: 1) Segurança de software: desenvolvimento de modelos formais que visam assegurar confidencialidade, integridade, privacidade e disponibilidade, abarcando verificação de protocolos de segurança de software e hardware em sistemas computacionais; ou 2) Sistemas embarcados: sistemas embarcados (hardware e software), modelos de verificação, tempo real, incluindo técnicas de verificação, validação e análise de complexidade em projetos de componentes computacionais. Bibliografia Sugerida: 1) WEIS, M.A., Data Structures and Algorithm Analysis in C++, Pearson, 2014. 2) CORMEN, T.; LEISERSON, C.; RIVEST, R.; STEIN, C. Introduction to Algorithms, 4th Edition. MIT Press, 2022. 3) PFLEEGER, C. P.; SHAUF, D.; PFLEEGER, S. L. Security in Computing, 6th edition. Addison-Wesley Professional, 2023. 4) CLARKE, E. M.; GRUMBERG, O.; PELED, D. Model Checking. MIT Press, 2018. 5) STALLINGS, W. Cryptography and Network Security: Principles and Practice, 8th Edition. Pearson, 2020. 6) KROPF, T. Introduction to Formal Hardware Verification. Springer, 1999. 7) SPEAR, C. SystemVerilog for Verification: A Guide to Learning the Testbench Language Features, 3rd Edition. Springer, 2012