Engenharia de Software Quântico
Descrição da Oportunidade
A posição foca-se numa agenda de investigação para Engenharia de Software Quântico a ser desenvolvida em dois níveis: fundamentos e algoritmos, com ênfase em aplicações concretas, apoiada no trabalho anterior do INESC TEC. Ao nível fundamental o foco está colocado em i) como modelar os sistemas quânticos, ii) como os modelos são compostos, e finalmente, iii) como as propriedades de seus comportamentos são antecipadas, expressas e verificadas. O desenvolvimento de um cálculo algorítmico, para a derivação sistemática de programas quânticos numa composição clara; e novas famílias de dinâmicas lógicas para apoiar a formulação de contratos para algoritmos quânticos e a sua verificação composicional, são destacadas. Ao nível algorítmico, o candidato contribuirá para duas ou mais das seguintes áreas transversais: i) aprendizagem máquina quântica (desenvolvendo sobre o trabalho desenvolvido pelo grupo em aprendizagem por reforço); ii) otimização combinatória (através de algoritmos iterativos híbridos (quântico/clássico)); iii) integração numérica (Monte Carlo) (explorando uma variedade de aplicações do mundo real para finanças e saúde); e iv) caminhos quânticos aleatórios (nomeadamente contínuos e escalonados, como um modelo universal de computação quântica).
Habilitações Académicas
Ao concurso podem candidatar-se os nacionais, estrangeiros(as) e apátridas que sejam titulares do grau de doutor(a) em Informática, e detentores(as) de um currículo científico e profissional que revele um perfil adequado à categoria de equiparado a Investigador Auxiliar e à posição com a referência 2023.14760.TENURE.010, acima descrita.
Período de candidatura
Desde 18 Jul 2025 a 31 Jul 2025
Centro
Laboratório de Software Confiável
Orientador
Luís Paulo Santos