Texto do anúncio

1. Área Científica: Informática

2. Objetivo da atividade:

Instrumentação automática de programas

3. Requisitos de admissão:

• Ser titular do grau académico de licenciado;

• Ser estudante inscrito num ciclo de estudos conducente ao grau de mestre ou inscrito num curso não conferente de grau académico.

Caso o grau académico requerido para este concurso tenha sido conferido por instituição de ensino superior estrangeira dever-se-á obedecer ao constante do Decreto-Lei 66/2018, de 16 de agosto e da Portaria n.º 33/2019, de 25 de janeiro.

4. Plano de trabalho:

(em inglês) Propose and experiment automatic code instrumentation tools for step-bystep, forward and backward, execution with graphical visualization of classical Formal languages and Automata theory algorithms. The aim is a general mechanism, possibly using CPS transformations and log monads. The purpose here is to build a toolchain that accepts OCaml programs, automatically translates them into a step-by-step counterpart, and finally allows teachers/students to inspect how execution evolves.

5. Legislação e regulamentação aplicável:

Estatuto do Bolseiro de Investigação Científica, aprovado pela Lei nº 40/2004, de 18 de agosto, na sua redação em vigor; Regulamento de Bolsas de Investigação da Fundação para a Ciência e Tecnologia em vigor (Regulamento nº 950/2019); Regulamento de Bolsas de Investigação da Universidade da Beira Interior - RBIUBI (Regulamento nº 100/2020).

6. Local de trabalho:

O trabalho será desenvolvido no NOVA-LINCS polo UBI, no Departamento de Informática sob a orientação científica do Doutor Simão Melo de Sousa.

7. Duração e regime de actividade:

A bolsa terá a duração de 12 meses, com início previsto em março de 2021.

A atividade decorrerá em regime de dedicação exclusiva, conforme o RBIUBI.

As bolsas de investigação atribuídas a licenciados que se encontrem inscritos em cursos não conferentes de grau académico apenas podem ser atribuídas a quem não exceda, com a celebração do contrato de bolsa em causa, incluindo as renovações possíveis, um período acumulado de dois anos nessa tipologia de bolsa, seguidos ou interpolados.

8. Condições financeiras da Bolsa:

Subsídio mensal de manutenção no valor de 805,98?, de acordo com os valores do Anexo I do RBIUBI atualizados à taxa de 1% (Lei Orçamento do Estado de 2020).

A este valor acresce o seguro social voluntário, caso o candidato opte pela sua atribuição, bem como o seguro de acidentes pessoais.

9. Critérios de Avaliação e Seleção:

Os critérios de seleção a utilizar serão compostos por 2 fases de avaliação, de acordo com o seguinte: 1ª fase - Avaliação curricular; 2ª fase - Entrevista, que pode ser realizada via videoconferência.

A avaliação na 1ª fase contempla os seguintes critérios: Curriculum vitae / Avaliação académica (30%); Adequação do perfil dos candidatos ao projeto com base na experiência de trabalho relevante nas tarefas descritas no plano de trabalho (50%); Fluência em inglês oral e escrito (20%).

Os 3 candidatos que apresentarem as maiores pontuações após a 1ª fase passarão para a 2ª fase.

Para a classificação final, cada uma das fases de avaliação tem um peso de 50%.

10. Composição do Júri de Seleção:

Presidente: Doutor Simão Patrício Melo de Sousa, Professor Associado com Agregação do Departamento de Informática

Vogais efetivos: Doutor Luís Filipe Barbosa de Almeida Alexandre, Professor Catedrático do Departamento de Informática

Doutora Maria Manuela Areias da Costa Pereira de Sousa, Professora Associada do Departamento de Informática

Vogal suplente: Doutor Paul Andrew Crocker, Professor Auxiliar do Departamento de Informática

11. Forma de publicitação/notificação dos resultados:

Os resultados finais da avaliação serão publicitados através de lista ordenada, por nota final obtida, afixada em local visível e público da Faculdade de Engenharia da Universidade da Beira Interior. Todos os candidatos serão notificados através de correio eletrónico, podendo os mesmos usar o direito de audiência de interessados, nos termos previstos no Código do Procedimento Administrativo.

12. Documentos de Candidatura:

1. Comprovativo de matrícula numa Instituição de Ensino Superior em ciclo de estudos conferente de grau de mestre, ou comprovativo de inscrição em ciclo de estudos não conferente de grau académico (pode em fase de candidatura ser substituído por declaração sob compromisso de honra). Este comprovativo deverá ser apresentado antes da contratualização da bolsa, conforme alínea c) do n.º 1 do artigo 15º do RBIUBI;

2. Documentos comprovativos da titularidade de graus académicos e diplomas (podem em fase de candidatura ser substituídos por declaração de compromisso de honra);

3. Curriculum Vitae;

4. Carta de motivação (máximo de 1 página), onde se deve indicar os objetivos para a sua formação futura.

Caso o grau académico tenha sido conferido por instituição de ensino superior estrangeira dever-se-á obedecer ao constante no Decreto-Lei 66/2018, de 16 de agosto e da Portaria n.º 33/2019, de 25 de janeiro.

13. Prazo e receção de candidaturas:

O concurso encontra-se aberto no período de 05/02/2021 até às 24:00h do dia 18/02/2021.

As candidaturas deverão ser dirigidas Doutor Simão Patrício Melo de Sousa, Coordenador do polo da UI&D e Investigador Responsável do Projeto, para o e-mail [email protected], indicando no assunto a referência LEAFS-BIL_2.

Instituição de contacto: Universidade da Beira Interior - Gabinete de Inovação e Desenvolvimento

Endereço:
Convento de Santo António

Covilhã - 6201-001 Covilhã

Portugal

Email: [email protected]