Conteúdo / Main content
Menu Rodapé
  1. Início
  2. Eventos
  3. Concurso para Bolsa de Investigação | Mestre em Engenharia Informática ou área afim

Concurso para Bolsa de Investigação | Mestre em Engenharia Informática ou área afim

Encontra-se aberto concurso para a atribuição de uma Bolsa de Investigação (BIM) para Mestre no âmbito do projeto de I&DT “Formal Verification of Tezos Smart Contracts”, financiado pela Fundação Tezos, decorrendo no Departamento de Informática da Universidade da Beira Interior.

EVENTO:

  25 de setembro de 2018

  Bolsas - UBI

  Importar iCal

Partilha

Área Científica: Engenharia Informática

Requisitos de admissão: Ser possuidor de grau de Mestre em Engenharia Informática ou área afim, sendo dado preferência a quem possua experiência com Desenho de Compiladores, Analisadores Estáticos, Tecnologias de linguagens de Programação, Verificação Formal, que saiba programar em OCaml e possua publicações científicas relacionadas com o plano de trabalhos.
Caso o grau académico requerido para este concurso tenha sido conferido por instituição de ensino superior estrangeira, o mesmo tem de obedecer ao disposto no Decreto-Lei n.º 341/2007, de 12 de outubro, devendo quaisquer formalidades aí estabelecidas estar cumpridas até à data do termo do prazo para a assinatura do contrato.

Mais informação
Edital

Data da última atualização: 2018-09-25
As cookies utilizadas neste sítio web não recolhem informação pessoal que permitam a sua identificação. Ao continuar está a aceitar a política de cookies.