OPORTUNIDADE DE DOUTORADO NA ESCOLA POLITÉCNICA Temos duas (2) vagas de doutorado na área de verificação, validação e qualidade de software usando LLMs para trabalhar em um projeto de pesquisa da área de Óleo e Gás junto ao TPN - Tanque de Provas Numérico, da Universidade de São Paulo. Os LLMs são e podem ser usados em diferentes processos de Engenharia de Software. Uma das possibilidades é usá-los para verificação, validação e garantia da qualidade de software. A ideia é que o doutorando pesquise e atue nessa área dentro de um projeto que tem como objetivo desenvolver e implantar modelos de IA e de Machine Learning. O candidato, uma vez selecionado, deve se inscrever no doutorado do Programa de Pós-Graduação em Engenharia Elétrica (PPGEE) da Escola Politécnica da Universidade de São Paulo e trabalhar como pesquisador do projeto. Eles serão orientados pelo prof. Dr. Higor Amario de Souza ou pelo prof. Dr. Fabio Levy Siqueira. As principais responsabilidades do pesquisador no projeto são: ● Apoiar a verificação, validação e garantia da qualidade dos códigos implementados no projeto, em especial, modelos de IA. ● Gestão de repositórios. ● Desenvolvimento de soluções para o projeto. ● Experimentos com novas tecnologias. Requisitos do Candidato ● Ter mestrado em computação ou área correlata. ● Conhecimentos de Engenharia de Software e Machine Learning. ● Ter conhecimento da língua inglesa em nível de leitura e de escrita. Benefícios ● Bolsa de doutorado no valor de R$ 7.140,00/mês a ser concedida pela Fundação de Apoio à Universidade de São Paulo (FUSP). Obrigações ● Dedicar-se exclusivamente ao doutorado e ao projeto de pesquisa. ● Trabalhar presencialmente na Escola Politécnica da USP, campus Butantã. Inscrições Os candidatos deverão manifestar interesse, enviando e-mail para levy.siqueira@usp.br
"2 vagas de doutorado na área de verificação, validação e qualidade de software usando LLMs para trabalhar em um projeto de pesquisa da área de Óleo e Gás junto ao TPN - Tanque de Provas Numérico, da USP.
Bolsa de R$ 7.140,00/mês. A inscrição é até 30/04/2026."
![Although agentic systems are increasingly proposed for scientific discovery, systematic evaluation of
their robustness and reproducibility remains limited. Hackathons offer a complementary evaluation environment in which systems are tested on open-ended, time-constrained problems that require coordination
of heterogeneous tools and datasets. Unlike static benchmarks, these settings stress aspects such as execution stability, failure recovery, transparency of intermediate steps, and reproducibility of results. By
examining system-level behavior under realistic constraints, hackathon-based assessments provide insight
into how agentic architectures perform in practice rather than only on isolated task metrics [20–30].](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:fodyg35g25joa5rpplt4y43g/bafkreic3ld5lalyngp5bj6cp2sosicbtlzjs72vcaplgadcz73ssi573fa)
