Cinco vagas para mestres e doutores no IC-UFAL Maceió

["Alejandro C. Frery" <acfrery@pesquisador.cnpq.br>]

É com satisfação que informamos a abertura de concurso no Instituto de
Computação da Universidade Federal de Alagoas, campus Maceió.

As inscrições estão abertas até 28 de abril, e chamamos especialmente
a atenção para os pontos de Modelagem Computacional e de Descoberta de
Conhecimento e Apoio à Decisão, listados abaixo.

As cinco vagas estão distribuídas como segue:
* Assistente (2 vagas, titulação mínima, mestre): Sistemas de Software
/ Fundamentos e Tecnologia de Bancos de Dados
* Adjunto (3 vagas, titulação mínima, doutor): Especificação e
Desenvolvimento de Sistemas de Software / Modelagem Computacional /
Descoberta de Conhecimento e Apoio à Decisão

A UFAL conta com o recém criado CPMAT (Centro de Pesquisa em
Matemática Computacional), que oferece ótimas condições para o
desenvolvimento de pesquisa em Modelos Quantitativos e de Simulação.
Os pesquisadores dessa linha atuam no Programa de Pós-Graduação em
Modelagem Computacional de Conhecimento. Este Mestrado
Multidisciplinar foi criado em 2003, e na sua primeira avaliação com
nota obteve conceito 4.

Espera-se que os doutores contratados neste concurso venham contribuir
com este Programa e com o CPMAT. O grupo atualmente participa de
projetos financiados pelo CNPq, FINEP e PETROBRAS, dentre outras
agências de fomento.

Maceió é uma cidade muito agradável, com um custo de vida muito favorável.

Os pontos a serem avaliados são os seguintes:

* Sistemas de Software (mestre): 1) Padrões de Projeto, 2) Técnicas de
Reuso em software, 3) Manutenção e evolução de sistemas de software,
4) Processo de Desenvolvimento de Software, 5) Gerenciamento de
Configuração de Software, 6) Desenvolvimento de Aplicações Web e Web
Semântica, 7) Engenharia de software orientada a objetos, 8)
Engenharia de software orientada a agentes, 9) Engenharia de software
orientada a componentes, 10) Integração de técnicas de IHC (Interação
Humano-Computador) e de Engenharia de Software

* Fundamentos e Tecnologia de Bancos de Dados (mestre): 1) Bancos de
Dados Semi-estruturados e XML, 2)   Banco de Dados Distribuídos,
Paralelos e Peer–to–Peer, 3)   Banco de Dados Ativos, 4) Banco de
Dados Auto-gerenciáveis e Autônomos, 5) Mineração de Dados e Data
Warehouse, 6) Modelo de Dados Relacional e Objeto-Relacional, 7) Banco
de Dados Móveis, 8) Semântica de Dados e Ontologia, 9) Banco de
Textuais e Recuperação de Informação, 10) Bancos de Dados
Multidimensionais e Temporais.

* Especificação e Desenvolvimento de Sistemas de Software (doutor): 1)
Métodos Formais para Construção de Software, 2) Engenharia de
Requisitos de Sistemas de Software, 3) Manutenção e Evolução de
Sistemas de Software, 4) Desenvolvimento de Software Orientado por
Modelos, 5) Arquiteturas Orientadas a Serviços: modelos e métodos de
desenvolvimento, 6) Model checking e prova de teoremas, 7) Engenharia
de software orientada a objetos, 8) Engenharia de software orientada a
agentes, 9) Engenharia de software orientada a componentes, 10)
Engenharia de software orientada a aspectos

* Modelagem Computacional (doutor): 1) Métodos formais de engenharia
de software ou A simulação estocástica como um método de integração,
2) Linguagens de modelagem e especificação de software ou O método
Monte Carlo, 3) Verificação formal de software ou Geração de
ocorrências uniformes, 4) Especificações formais em Z ou Teste de
geradores uniformes, 5) Lógica de Hoare para a verificação de
programas ou Geração de ocorrências discretas  univariadas, 6)
Semântica Denotacional ou Geração de ocorrências contínuas não
uniformes univariadas, 7) Lógica de Descrição ou Técnicas de redução
da variância em simulação estocástica, 8) Especificação de sistemas
concorrentes ou Sistemas computacionais para simulação estocástica  e
análise de dados, 9) Especificação de sistemas de tempo real ou
Projeto de experiências de simulação estocástica, 10) ""Model
Checking"" para verificação de sistemas ou Apresentação e análise de
resultados de simulação estocástica

* Descoberta de Conhecimento e Apoio à Decisão (doutor): 1)
Recuperação e Extração de Informação, 2) Descoberta de Conhecimento em
Bases de Dados, 3) Mineração de Dados, 4) Aprendizagem via Métodos
Estatísticos, 5) Aprendizagem numa abordagem de algoritmos
adaptativos, 6) Otimização em Redes, 7) Otimização Linear e
Não-linear, 8) Otimização por Inteligência de Enxames, 9) Otimização
Combinatória, 10) Teoria das Filas e Simulação

Para consultar o edital geral ver
http://www.copeve.ufal.br/concursos/concurso.php?id=22
Para consultar detalhes dos pontos ver
http://www.copeve.ufal.br/concursos/professor_maceio/IC.xls

Alejandro
-- 
Alejandro C. Frery
Maceió, AL - Brazil

Quod Natura no dat, Helmantica non praestat
http://lattes.cnpq.br/2312365155234431
http://www.researcherid.com/rid/A-8855-2008