Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Ata de reunião de Júri Consultar edital
Oportunidade Investigação

Informática, Eletrónica e Sistemas Digitais

[Fechado]

Descrição da Oportunidade

- Estudar as ferramentas que serão usadas para fazer a análise de código C/C++ e a criação dos grafos (Clava compiler, Cytoscape.js) - Estudar as várias formas de representação de código em grafos (e.g., control-flow graphs, data-flow graphs, property graphs) - Propor representações de grafos orientadas para a geração de código para modelos de execução paralelos e/ou arquiteturas não convencionais. - Implementar e extrair as representações de grafos que foram propostas a partir da AST de código C/C++ - Escrever o relatório de atividades da bolsa.

Habilitações Académicas

Grau de mestre em engenharia informática ou área afim

Requisitos Mínimos

- Experiência de programação (preferencialmente linguagens alto-nível como Java e JavaScript)- Fluência em Inglês (falado e escrito)

Fatores de Preferência

- Experiência em compiladores (ASTs, IRs) - Conhecimentos em IRs baseadas em grafos (e.g., control-flow graph, data-flow graph) - Fluência em Português (falado e escrito)

Período de candidatura

Desde 21 Dec 2023 a 09 Jan 2024

[Fechado]

Centro

Computação Centrada no Humano e Ciência da Informação

Orientador

João Bispo