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 oportunidade de colaborar com
pesquisadores de universidades americanas (Stanford, Iowa) ou
europeias (Inria, Liège), além de contribuir com o solucionador SMT
cvc5 (https://cvc5.github.io/).

Os valores das bolsas (negociáveis):
- Mestrando: R$ 2.500,00
- Doutorando: R$ 4.200,00

As bolsas podem ser acumuladas com bolsas da CAPES/CNPq. Será fornecido auxílio
instalação/deslocamento para estudantes de fora de Belo Horizonte. Valores
poderão ser discutidos quando iniciado o contato.

Interessados devem entrar em contato diretamente comigo pelo e-mail
hbarbosa@dcc.ufmg.br.

--
Haniel Barbosa
https://homepages.dcc.ufmg.br/~hbarbosa/

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87ilkduv7d.fsf%40gmail.com.

Postagens mais visitadas deste blog

PhD position in Low-Code Development for Logistics Tasks in Mobile Robotics, SDU, Denmark

https://www.sdu.dk/en/service/ledige_stillinger/1200903   ---   The Maersk Mc-Kinney Moller Institute (MMMI) at the University of Southern Denmark (SDU) invites applications for a three-year PhD position in Low-Code Development for Logistics Tasks in Mobile Robotics. The position is available as soon as possible and the workplace is at SDU's main campus in Odense.   About the PhD project:   Logistics tasks in low-volume production represent an important opportunity for automatization via mobile robots. However, for successful application, easy programming solutions are needed to address the variability of the spatial context in full 3D. This project aims to provide an adaptive and re-configurable low-code programming approach for this problem and demonstrate the approach with the mobile platform of Enabled Robotics (ER). The position is part of the project  "Low-Code Programming of Spatial Contexts for Logistic Tasks in Mobile Robotics"  funded by the Innovation Fund Denm...
Leia mais

CITS contratra - DESENVOLVEDOR DE SW JR ou PL e ANALISTA DE DESENVOLVIMENTO DE SOFTWARE

  DESENVOLVEDOR DE SW| JR ou PL Pré requisitos: Conhecimento de linguagens de programação como: •        C, C++, Java, JavaScript, Node.ij, PhP ou similares; •        Conhecimento básico de redes de computação. Atividades: Desenvolvimento de SW para projetos internacionais para o novo sistema de chamadas e emergência americano NG911. O trabalho será desenvolvido  em equipe, em um ambiente com utilização de Scrum , contato multicultural com Europa e Estados Unidos e grande possibilidades de aprendizado, desenvolvimento de patentes e treinamento. Formação desejável: Analise de Sistemas, Engenharia de SW, Engenharia Eletrônica ou similares. Diferencial: Conhecimento de Voip e Linux Obs. Necessário  inglês intermediário, escrita e leitura Local : Curitiba/PR Regime de contratação: CLT Interessados enviar currículo para:   recrutamento@cits.br   | Assunto: Desenvolvedor de SW (Cod RBA) ANALISTA DE DESENVOLVIMENTO DE SOFTWARE Pré Requisitos : Desenvolvimento de raciocínio lógico. Algoritmo....
Leia mais