Teoria das linguagens de programação
[Fechado]
Descrição da Oportunidade
Em termos gerais, o objetivo desta bolsa é estudar o impacto da concorrência na mitigação de ruído na programação quântica. A ideia subjacente é que a reordenação de instruções pode ajudar a priorizar operações com menos ruído e a reduzir os tempos de sobreposição dos qubits (que geralmente não podem exceder alguns milissegundos). Para este efeito, a tarefa concreta associada à bolsa é a de desenvolver uma linguagem concorrente com operações quânticas, uma semântica correspondente e, posteriormente, uma implementação em Haskell. A implementação será usada como ferramenta de experimentação para testar como a concorrência (e estratégias de escalonamento adequadamente selecionadas) pode ajudar a mitigar o ruído em algoritmos quânticos.
Habilitações Académicas
Aluno de Mestrado em Física, Ciências da computação e afins.
Requisitos Mínimos
Conhecimentos básicos de física quântica, programação quântica e da linguagem Haskell.
Fatores de Preferência
Bom desempenho académico; Experiência com a linguagem Haskell, parsers, mónadas e programação quântica.
Período de candidatura
Desde 01 Feb 2023 a 14 Feb 2023
[Fechado]
Centro
Laboratório de Software Confiável