Raimundo Williame Rocha de Melo
Possui gradução em Desenvolvimento de Software pela Uninorte em 2011, possui especialização em Engenharia de Software pela Uninorte 2016 e Mestrado em Engenharia Elétrica pela Universidade Federal do Amazonas (UFAM) em 2017.
Atua há 9 anos com desenvolvimento de sistemas, foi desenvolvedor na Samsung Instituto de Desenvolvimento para Informática da Amazônia - SIDIA.Possui vasta experiência na área de Desenvolvimento e Análise de Sistemas C, Java, Delphi e C# utilizando-se de técnicas da engenharia de software bem como estrutura de dados. Ampla experiência nas plataformas desktop, web e mobile. Atuou em projetos de pesquisa na Fundação Desembargador Paulo Feitoza com aplicações voltadas para deficientes físicos, atuou no desenvolvimento de IDE voltada para a área de Telecomunicações.
Foi líder técnico de Projetos de Pesquisa e Desenvolvimento da Samsung em Manaus em alinhamento à Lei de Informática. Mais especificamente atuando no departamento Samsung Research Brazil - SRBR, avaliando e propondo soluções técnicas em conjunto com times de desenvolvimento internos e externos. Atualmente, professor voluntário e pesquisador na Universidade do Estado do Amazonas.
Informações coletadas do Lattes em 25/10/2022
Acadêmico
Formação acadêmica
Mestrado em Engenharia Elétrica
2015 - 2017
Universidade Federal do Amazonas
Título: Verificação de Programas Embarcados ANSI C Baseada em Indução Matemática e Invariantes, Ano de Obtenção: 2017
Lucas Carvalho Cordeiro.Bolsista do(a): Fundação de Amparo à Pesquisa do Estados do Amazonas, FAPEAM, Brasil. Palavras-chave: Indução Matemática; Depthk; PAGAI; PIPS; Verificação de Sistemas; Métodos Formais.
Especialização em Engenharia de Software com Ênfase em Desenvolvimen
2013 - 2015
Centro Universitário do Norte
Título: Comparativo de Ferramentas para Banco de Dados para Sistemas Web: Um Estudo de Caso para Criação de Site Turístico
Orientador: Orlewilson Bentes Maia
Graduação em Tecnologia em Desenvolvimento de Software
2007 - 2011
Centro Universitário do Norte
Título: Sistema de Comparação de Kits de Montagem ? SCKM
Orientador: Luiz Wanderley Nagata Balduino
Curso técnico/profissionalizante
2007 - 2008
Formação complementar
2005 - 2006
Programador de Sistemas. (Carga horária: 1600h). , Senai - Serviço Nacional de Aprendizagem Industrial, SENAI, Brasil.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Arquitetura de Sistemas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de Sistemas Web.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Desenvolvimento de Sistemas Mobile.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
Produções bibliográficas
-
Rocha, Williame ; Ismail, Hussama ; Cordeiro, Lucas ; Fischer, Bernd . DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs. Lecture Notes in Computer Science. 0ed.: Springer Berlin Heidelberg, 2017, v. 10206, p. 360-364.
Histórico profissional
Experiência profissional
2008 - 2010
Fundação Desembargador Paulo do Anjos FeitozaVínculo: Colaborador, Enquadramento Funcional: Programador de Sistemas, Carga horária: 44, Regime: Dedicação exclusiva.
2010 - 2013
Brasil Norte BebidasVínculo: Celetista, Enquadramento Funcional: Analista de Sistema, Carga horária: 44, Regime: Dedicação exclusiva.
2013 - 2015
Samsung SIDIAVínculo: Celetista, Enquadramento Funcional: Desenvolvedor, Carga horária: 44, Regime: Dedicação exclusiva.
2016 - 2017
Systemax Desenvolvimento de SistemasVínculo: Celetista, Enquadramento Funcional: Desenvolvedor Especialista, Carga horária: 44
2017 - Atual
Samsung Eletronica da AmazoniaVínculo: Celetista, Enquadramento Funcional: Líder Técnico, Carga horária: 44
2021 - Atual
Universidade do Estado do AmazonasVínculo: Professor Visitante, Enquadramento Funcional: Voluntário, Carga horária: 20
Atividades
-
01/2021
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, TCC 2
-
01/2021
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Introdução a Sistemas de Informação
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Raimundo Williame Rocha de Melo e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?