Computação Quântica
[Fechado]
Descrição da Oportunidade
Este projeto visa o estudo da composição e parametrização na modelação quântica e o desenvolvimento de linguagens e de um cálculo de programas adequados à concepção e análise modular de algoritmos quânticos e híbridos quântico-clássicos. A investigação recorrerá a cálculos diagramáticos, correspondentes a variantes de categorias monoidais. O cálculo ZX será um ponto de partida para a investigação prevista. As abordagens quânticas à aprendizagem automática constituem um foco de aplicação típico, em domínios como a representação de dados, a formação de modelos e a descrição formal de algoritmos de aprendizagem.
Habilitações Académicas
Mestrado em engenharia informática, ciências de computação ou área afim.
Requisitos Mínimos
- Domínio e uso independente do cálculo ZX e ferramentas associadas;- Mestrado concluído com média superior ou igual a 15.
Fatores de Preferência
- Formação a nível de mestrado ou equiparável em métodos formais de programação; - Familiaridade com computação quântica.
Período de candidatura
Desde 29 Nov 2024 a 12 Dec 2024
[Fechado]
Centro
Laboratório de Software Confiável