[java-br] bolsista CNPq

Pessoal

Divulgo vaga para bolsista do CNPQ no IAE , São José dos Campos.

O valor da bolsa é de R$ 3.000,00, pelo que me informaram.

------------------------------------------------------------------------------------------------------------------------------------
A presente tem por finalidade divulgar uma vaga para bolsista em
projeto apoiado pelo CNPq.

PROJETO

Em resposta ao Edital MCT/CNPq/AEB nº 33/2010 - Formação, Qualificação
e Capacitação de RH em Áreas Estratégicas do Setor Espacial, o IAE
(Instituto de Aeronáutica e Espaço), de São José dos Campos, SP,
submeteu e teve aprovado, o projeto intitulado "Verificação e
Validação de Sistemas de Software para Projetos Espaciais" (N°do
processo: 559973/2010-1).
Este projeto visa à formação, à capacitação de recursos humanos e
agregação de especialistas que possam contribuir para a Verificação e
Validação (V&V) de sistemas de software espaciais empregados no
desenvolvimento e inovação tecnológica de veículos espaciais
brasileiros, em particular nos lançadores de satélite.

BOLSA
Busca-se bolsista DTI-B (Desenvolvimento Tecnológico e Industrial),
categoria Fomento Tecnológico e Extensão Inovadora, do CNPQ.
O candidato à bolsa deverá:
a) ser brasileiro ou estrangeiro residente e em situação regular no País; e
b) ter seu currículo cadastrado e atualizado na Plataforma Lattes, o
qual comprovará a experiência profissional em atividades de pesquisa,
desenvolvimento ou inovação de, no mínimo, dois (2) anos.

EXPERIÊNCIA
O candidato deverá ter conhecimento em técnicas de Análise de
Dependabilidade, Tolerância a Falhas e técnicas formais de Verificação
e Validação (V&V) de software.

TRABALHO
O trabalho a ser desenvolvido pelo bolsista consiste em:
- estudo e aplicação de técnicas de dependabilidade para software
crítico de sistemas (como as técnicas aplicadas para RAMS -
Reliability, Availability, Maintainability,Safety), em particular as
propostas pela ESA e NASA (HAZOP, SFMEA e SFTA, por exemplo);
- definição de um estudo de caso, baseado em modelos de requisitos de
um software para controle e seqüenciamento de eventos de um veículo
espacial (baseado no Veículo Lançador de Satélites (VLS) brasileiro)
para aplicação destas técnicas de dependabilidade.

LOCAL:
Instituto de Aeronáutica e Espaço (IAE) São José dos Campos (SP) Brasil

CONTATO
Dr, Carlos H. N. Lahoz
Coordenador do Projeto
55 12 39474901 work
55 12 97131177 mobile
e-mail: lahozchnl@iae.cta.br

------------------------------------

Para sair da lista, envie email para: java-br-unsubscribe@yahoogroups.com
Para upload/download de arquivos: http://www.yahoogroups.com/files/java-brLinks do Yahoo! Grupos

<*> Para visitar o site do seu grupo na web, acesse:
http://br.groups.yahoo.com/group/java-br/

<*> Para sair deste grupo, envie um e-mail para:
java-br-unsubscribe@yahoogrupos.com.br

<*> O uso que você faz do Yahoo! Grupos está sujeito aos:
http://br.yahoo.com/info/utos.html