Teoria das Linguagens de Programação
[Fechado]
Descrição da Oportunidade
As noções atuais de equivalência aproximada para a programação quântica (de ordem superior) não têm em conta operações importantes. Especificamente, o modelo matemático correspondente não inclui medições, nem fluxo de controlo clássico, nem operações de eliminação. Além disso, o sistema de tipagem correspondente é muitas vezes demasiado rígido e não consegue lidar adequadamente com várias utilizações do mesmo recurso. O objetivo geral deste projeto é resolver as limitações acima referidas. A conclusão bem-sucedida deste objetivo fornecerá uma linguagem de programação quântica completa para estudar a equivalência aproximada de programas em vários cenários. Isto inclui não só a algoritmia quântica – onde, por exemplo, o número de iterações no algoritmo de Grover envolve aproximações – mas também na teoria da informação quântica, onde, por exemplo, o teletransporte quântico e o problema da discriminação de estados quânticos têm papéis importantes. Os primeiros dois meses deste projeto são dedicados a um estudo básico dos tópicos da teoria de programação, cálculo-lambda e sistemas de tipagem (quantitativos) que são adequados à utilização de um recurso múltiplas vezes. Os três meses seguintes serão dedicados à extensão de modelos quânticos aproximados adequados (de ordem superior) com medição, fluxo de controlo clássico e operações de eliminação. Os dois meses seguintes serão dedicados ao enriquecimento do respetivo sistema de tipagem para que este possa suportar adequadamente múltiplas utilizações do mesmo recurso. Finalmente, o último mês será dedicado à elaboração de um relatório que resume todos os resultados obtidos. Ao longo de todo o projeto utilizaremos uma série de casos-de-estudo simples para ilustrar e analisar os resultados previstos
Habilitações Académicas
- Estudante de mestrado em engenharia física ou área afim.
Requisitos Mínimos
- Experiência c/ computação quântica, cálculo-lambda, e programação funcional;- Licenciatura concluída c/ média >= 15;- Média actual mestrado >= 15.
Fatores de Preferência
- Mestrado com foco nos três tópicos previamente mencionados; - Média atual de mestrado elevada.
Período de candidatura
Desde 03 Oct 2024 a 16 Oct 2024
[Fechado]
Centro
Laboratório de Software Confiável