Vagas na Dextra

Postagens mais visitadas deste blog

Bolsas de mestrado e doutorado na UFMG

---------- Forwarded message --------- De: Haniel Barbosa < hanielbbarbosa@gmail.com > Date: sex., 21 de out. de 2022 11:07 Subject: [Logica-l] Bolsas de mestrado e doutorado na UFMG To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA < logica-l@dimap.ufrn.br > Olá, Favor divulgar a possíveis interessados: ++++++ O SMITE, grupo de pesquisa na UFMG para o desenvolvimento de métodos e ferramentas baseados em SMT para aplicações em métodos formais, está com bolsas disponíveis para alunos de mestrado e doutorado. O prazo de inscrição para o mestrado é 11/11/2022. A seleção de doutorado é em fluxo contínuo. O edital: https://lnkd.in/dJH7S3s As bolsas são para trabalhar em temas relacionados aos tópicos abaixo: - Novas técnicas para solucionadores SMT - Demonstrações auditáveis para compliance - Verificação formal (por exemplo para smart contracts) - Síntese de programas Dependendo do tema, os alunos terão a oport...
Leia mais

Fwd: Vaga: ANALISTA/ENGENHEIRO DE DESENVOLVIMENTO DE SOFTWARE JR. | Formado ou em vias de se formar nos próximos 12 meses.

Imagem
ANALISTA/ENGENHEIRO DE DESENVOLVIMENTO DE SOFTWARE JR . Atividades:   Trabalho em desenvolvimento de SW em multinacional lider global em projetos internacionais para sistemas de chamadas e emergência de nova geração Americano e Europeu (NG911/NG112); Desenvolvimento de servidores de comunicação e colaboração usando o estado da arte das tecnologias atuais; Desenvolvimento em equipe em um ambiente com metodologia Ágil (Scrum), contato multicultural com Europa e Estados Unidos e grande possibilidades de aprendizado, desenvolvimento de patentes e treinamento. Pré Requisitos : Conhecimento de linguagens de programação como C, C++,  javascript, Node.js, Python, PhP ou similares. Conhecimento básico de redes de computação, Cloud Computing, Container e VMs. Inglês intermediário: oral, escrita e leitura. Desejável: Conhecimento de Voip, Linux e Banco de Dados (Redis/Posgres) Formação: Análise de Sistemas, Engenharia de SW, Engenharia Eletrônica ou similares,  formado ou em vias de se formar nos...
Leia mais

Fwd: Vaga de Estágio: EMBEDDED SOFTWARE QUALITY ASSURANCE

Imagem
---------- Forwarded message --------- De: Maria José, CITS < maria.passos@cits.br > Date: mié, 14 sept 2022 a las 14:22 Subject: Vaga de Estágio: EMBEDDED SOFTWARE QUALITY ASSURANCE To: Maria José, CITS < maria.passos@cits.br > Caro (as)  professores (as) , A ajuda de vocês tem sido muito relevante no preenchimento de nossas vagas de estágios, fica aqui meus agradecimentos e  conto com  ajuda de vocês na divulgação de mais uma vaga que acabamos de abrir. ESTAGIÁRIO EM EMBEDDED SOFTWARE QUALITY ASSURANCE Principais atividades: ·          Participar de reuniões diárias; Participar de reuniões de especificações técnicas, levantamento de requisitos, melhorias, refinamentos, critérios de aceite com Product Managers, Products Owners e Desenvolvedores; Desenvolver scripts de testes automatizados para o software embarcado em Linguagem Python; Fazer levantamento de novos cenários e casos de testes; Abertura de bugs. Pré Requisitos: ·          Graduando a partir  do 4º período    e...
Leia mais