Concurso para a atribuição de 1 Bolsa(s) de Investigação para Licenciado - Plurianual_25-29 - HASLA
Posted
Summary
A 6-month research grant (bolsa de investigação) for a computer science graduate on INESC TEC's HASLAB project, based in Braga (Dec 2026 – May 2027). The work centers on formal software verification, requiring hands-on experience with model checking and deductive verification tools.
Referência: AE2026-0331 (Plurianual_25-29 - HASLAB)
INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Cargo/posição/bolsa: Investigação (BI)
Área científica: COMPUTER SCIENCE
Área específica: Informatics
O INESC TEC abre Concurso para a atribuição de 1 Bolsa(s) de Investigação para Licenciado - Plurianual_25-29 - HASLAB
Duração da bolsa: 2026-12-01 a 2027-05-31 (6)
Local de trabalho: Braga
Habilitações académicas: licenciado em ciências da computação ou área afim
Requisitos mínimos: - média de licenciatura e mestrado superior a 15, - experiência com ferramentas de verificação de modelos, - experiência com ferramentas de verificação dedutiva
Fatores de preferência: - conhecimento de processamento e semântica formal de linguagens
Período de candidatura: De 2026-10-29 a 2026-11-12
Submissão candidaturas: Preenchimento de formulário eletrónico em www.inesctec.pt na secção 'SEJA NOSSO COLABORADOR'
Mais informações: http://www.inesctec.pt/pt/oportunidade/AE2026-0331
INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Cargo/posição/bolsa: Investigação (BI)
Área científica: COMPUTER SCIENCE
Área específica: Informatics
O INESC TEC abre Concurso para a atribuição de 1 Bolsa(s) de Investigação para Licenciado - Plurianual_25-29 - HASLAB
Duração da bolsa: 2026-12-01 a 2027-05-31 (6)
Local de trabalho: Braga
Habilitações académicas: licenciado em ciências da computação ou área afim
Requisitos mínimos: - média de licenciatura e mestrado superior a 15, - experiência com ferramentas de verificação de modelos, - experiência com ferramentas de verificação dedutiva
Fatores de preferência: - conhecimento de processamento e semântica formal de linguagens
Período de candidatura: De 2026-10-29 a 2026-11-12
Submissão candidaturas: Preenchimento de formulário eletrónico em www.inesctec.pt na secção 'SEJA NOSSO COLABORADOR'
Mais informações: http://www.inesctec.pt/pt/oportunidade/AE2026-0331