Joabe Bezerra de Jesus Júnior
Coordenador do curso de graduação em Engenharia da Computação (eComp) da Escola Politécnica de Pernambuco (POLI) da Universidade de Pernambuco (UPE) desde fevereiro de 2024 e presidente do Núcleo Docente Estruturante do eComp desde maio de 2022, é professor da UPE desde setembro de 2010. Também na gestão, atuou como gerente da divisão de pós-graduação da POLI/UPE de maio de 2017 a maio de 2019 e como gerente da Divisão de Extensão da POLI/UPE de novembro de 2014 a abril de 2017. Em 2012 foi coordenador de infraestrutura do eComp. Possui experiência em pesquisa e desenvolvimento na área de Engenharia de Software com ênfase em Métodos Formais. Atuou em 2024 como membro do comitê de avaliação de artefatos no 22 International Conference on Software Engineering and Formal Methods (SEFM) e participa de congressos em Métodos Formais desde 2003. Doutor em Ciências da Computação na Universidade Federal de Pernambuco (UFPE) com conclusão em agosto de 2023, publicou artigo premiado como segundo melhor artigo no Simpósio Brasileiro de Métodos Formais (SBMF) em dezembro de 2022, com versão expandida publicada no periódico Science of Computer Programming (SCP) em abril de 2024. Realizou o mestrado em Ciências da Computação pela mesma universidade com conclusão em agosto de 2009, tendo colaborado com a Embraer e publicado artigo no International Conference on Formal Engineering Methods (ICFEM) em 2011. Também atua como revisor do Simpósio Brasileiro de Tecnologia da Informação (SBTI) desde 2020. Atuou em 2023 como avaliador do Seminário de Integração do Edital 22/2022 do Programa de Extensão Tecnológica da FACEPE. Já atuou como instrutor certificado das ferramentas de desenvolvimento de software da antiga Borland na Facilit Tecnologia em 2005; como instrutor de programação na linguagem Java na Qualiti Software Processes (2005-2007); e foi professor do curso de Sistemas para a Internet na Faculdade Maurício de Nassau (2010/2011). Finalmente, atuou como Engenheiro de Software na Fundação de Apoio ao Desenvolvimento da UFPE (FADE) lotado no Projeto Samsung vinculado ao Centro de Informática (CIn) da UFPE no período de 2006 a 2010.
Informações coletadas do Lattes em 14/07/2025
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2017 - 2023
Universidade Federal de Pernambuco
Título: Mechanised Local Deadlock Analysis based on Timed Behavioural Patterns and Responsiveness
Augusto Cesar Alves Sampaio. Palavras-chave: Formal Methods; Simulink; tock-CSP; Deadlock; Responsiveness; Isabelle/HOL. Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.
Mestrado em Ciências da Computação
2009 - 2009
Universidade Federal de Pernambuco
Título: Design e validação formal de sistemas de controle de voo fly-by-wire
Orientador: Alexandre Cabral Mota
, Ano de Obtenção: 2009.Palavras-chave: Métodos Formais; Verificação de modelos; Sistemas de Controle de Voo; Simulink.
Mestrado em Ciências da Computação
2007 - 2009
Universidade Federal de Pernambuco
Título: Design e Validação Formal de Sistemas de Controle de Voo Fly-by-Wire
, Ano de Obtenção: 2009.Alexandre Cabral Mota.Bolsista do(a): SOFTEX, SOFTEX, Brasil. Palavras-chave: Métodos Formais; Sistemas de Controle de Voo; Simulink; Verificação de modelos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Grande Área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Dinâmica de Vôo / Especialidade: Estabilidade e Controle.
Graduação em Bacharelado em Ciências da Computação
2002 - 2006
Universidade Federal de Pernambuco
Título: FormalDev: Tool support for generating UML-RT diagrams from CSP specifications
Orientador: Alexandre Cabral Mota
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Curso técnico/profissionalizante em Automação Eletrônica
2002 - 2004
Formação complementar
2011 - 2011
Liderança Associativa. (Carga horária: 16h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2007 - 2007
PE School on Software Engineering - Testing. (Carga horária: 40h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2006 - 2006
Automação de Testes de Software. (Carga horária: 16h). , Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
2005 - 2005
Finanças. (Carga horária: 60h). , Incubadora de Empresas de Base Tecnológica de Pernambuco, INCUBATEP, Brasil.
2004 - 2004
PE School on Software Engineering: Refinement. (Carga horária: 80h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2003 - 2003
Introdução aos Design Patterns. (Carga horária: 5h). , Centro Integrado de Tecnologia da Informação, CITi, Brasil.
2003 - 2003
OCL - Object Constraint Language. (Carga horária: 8h). , Sociedade Brasileira de Computação, SBC, Brasil.
2003 - 2003
Model Checking: Análise Automática de Software. (Carga horária: 8h). , Sociedade Brasileira de Computação, SBC, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
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.
Organização de eventos
Fernando Buarque ; JESUS JÚNIOR, J. B. . 1st BRICS Countries Congress on Computational Intelligence (BRICS-CCI). 2013. (Congresso).
FERNANDES, B. ; JESUS JÚNIOR, J. B. . I Acampamento de Robótica da Escola Politécnica da Universidade de Pernambuco. 2012. (Outro).
Participação em eventos
Simpósio Brasileiro de Tecnologia da Informação.Artigos submetidos ao simpósio. 2019. (Simpósio).
Simpósio Brasileiro de Tecnologia da Informação. 2018. (Simpósio).
Escola de Informática Teórica e Métodos Formais. 2017. (Oficina).
Simpósio Brasileiro de Métodos Formais. 2017. (Simpósio).
Simpósio Brasileiro de Tecnologia da Informação.Artigos submetidos ao Simpósio Brasileiro de Tecnologia da Informação. 2013. (Simpósio).
Campus Party Brasil 5.Computação Social e Robótica - uma ótima combinação. 2012. (Outra).
Simpósio Brasileiro de Tecnologia da Informação.Artigos submetidos ao Simpósio Brasileiro de Tecnologia da Informação. 2012. (Simpósio).
13th International Conference on Formal Engineering Methods.Architectural Verification of Control Systems Using CSP. 2011. (Outra).
Campus Party Brasil 4. 2011. (Outra).
2º Congresso Muito Especial de Tecnologia Assistiva. 2009. (Congresso).
Simpósio Brasileiro de Métodos Formais. 2006. (Simpósio).
XIV Congresso de Iniciação Científica da UFPE. Mapeamento de UML-RT para OhCircus. 2006. (Congresso).
Borland Conference. 2005. (Congresso).
Microsoft ISV Community Days. 2005. (Congresso).
VI Congresso de Ensino, Pesquisa e Extensão da UFPE. Mapeamento de UML-RT para OhCircus. 2005. (Congresso).
Simpósio Brasileiro de Métodos Formais.FormallDev: Tool support for UML. 2004. (Simpósio).
Workshop de Métodos Formais.Experimenting Formal Methods through UML. 2003. (Simpósio).
Participação em bancas
JESUS JÚNIOR, J. B.; FERNANDES, B.. Oil Well Explorer: Data Mining and Information Visualization Applied in Oil & Gas Domain. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Gomes, Genésio. Economia Criativa e suas Potencialidades com Relato sobre Estudo de Caso de Startup na Área de Moda. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Melo, Raul;JESUS JÚNIOR, J. B.. Um panoroma do uso de openEHR. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Lencastre, M;JESUS JÚNIOR, J. B.. PEPVault: um sistema de prontuário eletrônico baseado em HealthVault. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Gomes, Genésio;JESUS JÚNIOR, J. B.. Mapeamento e Gestão Colaborativade Incidentes Urbanos. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
SILVEIRA, D.;JESUS JÚNIOR, J. B.. DeliveryMaps: Acompanhamento de Pedidos em Tempo Real. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Fernando Buarque. Estudo Propositivo para Avaliação da Qualidade em Educação Utilizando Semiótica Computacional e Redes Neurais Artificiais. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Fernando Buarque. Ferramenta de Apoio ao Diagnóstico de Enfermagem em UTIs. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Um Mpeamento entre Assembly e CSP: Analisando Formalmente Programas Concorrentes. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Uso de Constraint Solvers na Geração de Dados de Teste: Um Mapeamento Sistemático da Literatura. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Dias, Tarciana. Análise das técnicas de identificação de profissionais e formação de equipes no desenvolvimento de software. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; LEITE, B.. Sistema de Gestão Corporativa de TI-SGCTI. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; SILVEIRA, D.; Fernando Buarque. Sistema Híbrido Multimídia de Educação baseado em computação inteligente para o Ensino-Aprendizagem da língua inglesa. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Lencastre, M;JESUS JÚNIOR, J. B.. Otimização de Processos e Tarefas das Instalações de Sistemas Elétricos de Potência. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Carvalho, Gustavo;JESUS JÚNIOR, J. B.. Explorando ferramentas de GCS open source para atender exigências do COBIT. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Carvalho, Gustavo;JESUS JÚNIOR, J. B.. Uma IDE para o SABLECC. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Geração automática de scripts de teste utilizando o selenium. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. CSPm e CSP#: Uma análise experimental de problemas clássicos de concorrência. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Fernandes, Sergio. Linguagem ADA: Estado da arte, tecnologias associadas e mecanismos de dependabilidade. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Carvalho, Gustavo. Análise formal de código java concorrente. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
JESUS JÚNIOR, J. B.; Campello, Sergio. Sistema de apoio a prevenção de falhas humanas na operação de sistema elétrico de potência em tempo real. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade de Pernambuco.
Orientou
PromoFinder: Mobilidade na Geolocalização de Promoções; 2015; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
UMA PLATAFORMA PARA PROMOÇÃO DE VENDAS COM SUPORTE A GEOLOCALIZAÇÃO; 2015; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
DESENVOLVENDO APLICAÇÕES ANDROID COM XAMARIN E TITANIUM; 2015; Monografia; (Aperfeiçoamento/Especialização em Especialização em Engenharia de Software) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
DeliveyMaps: Acompanhamento de Pedidos em Tempo Real; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
PEPVault: um sistema de prontuário eletrônico baseado em HealthVault; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Um panorama do uso de openEHR; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Mapamento e Gestão Colaborativa de Incidentes Urbanos; 2014; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Otimização de Processos e Tarefas das Instalações de Sistemas Elétricos de Potência; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Explorando ferramentas de GCS open source para atender exigências do COBIT; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Uma IDE para o SableCC; 2011; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade de Pernambuco; Orientador: Joabe Bezerra de Jesus Júnior;
Produções bibliográficas
-
JESUS, JOABE ; SAMPAIO, AUGUSTO . Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. SCIENCE OF COMPUTER PROGRAMMING , v. 236, p. 103113, 2024.
-
COUTINHO DA SILVA NETO, JOEL ; BEZERRA DE JESUS JÚNIOR, JOABE . Ludificação em Engenharia de Software: Tornando o processo de desenvolvimento em uma empresa um jogo. REVISTA DE ENGENHARIA E PESQUISA APLICADA , v. 2, p. 16, 2017.
-
JESUS, JOABE ; SAMPAIO, AUGUSTO . Compositional Verification of Simulink Block Diagrams Using tock-$$CSP$$ and CSP-Prover. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2022, v. , p. 91-108.
-
JESUS, JOABE ; MOTA, Alexandre ; SAMPAIO, AUGUSTO ; Grijo, Luiz . Architectural Verification of Control Systems Using CSP. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2011, v. , p. 323-339.
-
MOTA, Alexandre ; JESUS, JOABE ; Gomes, Adriano ; Ferri, Felipe ; Watanabe, Edson . Evolving a Safe System Design Iteratively. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2010, v. , p. 361-374.
-
JESUS JÚNIOR, J. B. . Requisitos com o CaliberRM no Delphi. Active Delphi, p. 26 - 27, 01 abr. 2006.
-
JESUS JÚNIOR, J. B. ; MOTA, Alexandre ; Sampaio, A ; GRIJO, L. . Architectural Verification of Control Systems Using CSP. In: 13th International Conference on Formal Engineering Methods, 2011, Durham. 13th International Conference on Formal Engineering Methods. Reino Unido: SpringerLink, 2011. v. 6991. p. 323-339.
-
MOTA, Alexandre ; JESUS JÚNIOR, J. B. ; GOMES, A. ; FERRI, F. ; WATANABE, E. . Evolving a Safe System Design Iteratively. In: The 29th International Conference on Computer Safety, Reliability and Security, 2010, Viena. The 29th International Conference on Computer Safety, Reliability and Security, 2010. v. 6351. p. 361-374.
-
JESUS JÚNIOR, J. B. ; MOTA, Alexandre ; Sampaio, A ; GRIJO, L. . Architectural Verification of Control Systems Using CSP. 2011. (Apresentação de Trabalho/Conferência ou palestra).
-
JESUS JÚNIOR, J. B. ; Sampaio, A . Mapeamento de UML-RT para OhCircus. 2006. (Apresentação de Trabalho/Congresso).
-
JESUS JÚNIOR, J. B. ; Sampaio, A . Mapeamento de UML-RT para OhCircus. 2005. (Apresentação de Trabalho/Congresso).
-
JESUS JÚNIOR, J. B. . FormallDev. 2004. (Apresentação de Trabalho/Simpósio).
Outras produções
JESUS JÚNIOR, J. B. ; MOTA, Alexandre ; Sampaio, A . Extrator automático de modelos CSP a partir de diagramas Simulink. 2010.
JESUS JÚNIOR, J. B. . FormalDev. 2006.
VALENCA, A. C. ; Effektiv Solutions ; JESUS JÚNIOR, J. B. . Visual SimModel. 2005.
Projetos de pesquisa
-
2010 - Atual
Um Ambiente de Desenvolvimento Integrado para Linguagens Formais, Descrição: Esse projeto visa unir ferramentas de desenvolvimento formal (como os verificadores de modelo Prism, Failures-Divergences Refinement ? FDR e Process Analysis Toolkit ? PAT) às ferramentas de design e implementação atuais como ambientes de desenvolvimento de software (por exemplo, eclipse e Matlab/Simulink).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Joabe Bezerra de Jesus Júnior - Coordenador.
-
2006 - 2008
Uma Estratégia para Desenvolvimento Sistemático de Aplicações Críticas, Descrição: A Embraer (Empresa Brasileira de Aeronáutica S.A.) tem utilizado como meio de cumprimento de requisitos de certificação de software o padrão DO-178B [RTCA]. O padrão DO-178B define guias para a produção de software para sistemas e equipamentos de aviação que executam sua função esperada com um nível de confiança em segurança de acordo com os requisitos aeronáuticos. Desta forma, a Embraer manifestou interesse em colaborar com o presente projeto de pesquisa com o objetivo de evoluir de um ciclo de desenvolvimento V (onde várias atividades do desenvolvimento de sistemas é realizada ainda manualmente) para um ciclo de desenvolvimento Y (onde, exceto pelos requisitos do sistema, as demais atividades são realizadas automaticamente e com presença mínima de falhas). Assim sendo, seus requisitos precisam ser documentados formalmente, com propriedades verificadas, projeto e implementação gerados automaticamente e, finalmente, propriedades testadas diretamente a partir da implementação do sistema, para obter uma garantia adicional de que a implementação não sofreu qualquer distorção após considerar requisitos não-funcionais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Joabe Bezerra de Jesus Júnior - Integrante / Alexandre Mota - Coordenador / Augusto Sampaio - Integrante / Adalberto Cajueiro Farias - Integrante / Ana Cavalcanti - Integrante., Financiador(es): Universidade Federal de Pernambuco - Auxílio financeiro.
-
2004 - 2006
Mapeamento de UML-RT para OhCircus, Descrição: Definição e implementação de um mapeamento da linguagem de modelagem UML-RT para a linguagem formal OhCircus. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Joabe Bezerra de Jesus Júnior - Integrante / Augusto Sampaio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Prêmios
2007
PRIMEIRO LUGAR no XIV Congresso de Iniciação Científica (CONIC) da UFPE, na área de Ciências Exatas e da Terra, UFPE.
2007
Láurea Universitária, Universidade Federal de Pernambuco.
Histórico profissional
Endereço profissional
-
Universidade de Pernambuco, Escola Politécnica de Pernambuco - POLI. , Rua Benfica, Madalena, 50720001 - Recife, PE - Brasil, Telefone: (81) 31847500, URL da Homepage:
Experiência profissional
2004 - 2006
Universidade Federal de PernambucoVínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações:
Bolsista no programa PIBIC-CNPq
Sub-Projeto: Mapeamento de UML-RT para OhCircus
Vinculado ao Projeto de Pesquisa "ÁlgebRA - Álgebra de Refinamento e Aplicação" do Professor Augusto Cezar Alves Sampaio
2003 - 2003
Universidade Federal de PernambucoVínculo: Voluntário, Enquadramento Funcional: Monitor
Outras informações:
Monitor na disciplina de Introdução à Programação ministrada pelo Professor Paulo Henrique Monteiro Borba
2010 - Atual
Universidade de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Outras informações:
Nomeação publicada no Diário Oficial do Estado de Pernambuco, ano LXXXVII, No 167 (3 de setembro de 2010), página 13, referente ao concurso (Edital 02/2010) para Professor Universitário Assistente da Universidade de Pernambuco (UPE) na Escola Politécnica de Pernambuco (POLI) na área de Linguagem de Programação.
Atividades
-
03/2014
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação Imperativa, Metodologia Científica, Sistemas Multiagentes
-
10/2010
Pesquisa e desenvolvimento, Escola Politécnica de Pernambuco - POLI.,Linhas de pesquisa
-
08/2013 - 12/2013
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software, Metodologia Científica, Ambientes de Desenvolvimento de Software
-
02/2013 - 06/2013
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Multiagentes, Engenharia de Software
-
08/2012 - 12/2012
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Informação, Sistemas Multiagentes, Ambientes de Desenvolvimento de Software
-
02/2012 - 06/2012
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Informação, Sistemas Multiagentes, Álgebra Aplicada a Computação
-
08/2011 - 12/2011
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Informação, Sistemas Multiagentes, Álgebra Aplicada a Computação
-
02/2011 - 06/2011
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Ambientes de Desenvolvimento de Software, Sistemas de Informação, Sistemas Multiagentes
-
10/2010 - 12/2010
Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Informação, Metodologia Científica, Gestão de Projetos
2008 - 2010
Fundação de Apoio ao Desenvolvimento da Universidade Federal de PernambucoVínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Projeto Samsung/CIn
2006 - 2007
Fundação de Apoio ao Desenvolvimento da Universidade Federal de PernambucoVínculo: Colaborador, Enquadramento Funcional: Engenheiro de Software, Carga horária: 30
Outras informações:
Projeto Samsung/CIn
2008 - 2008
Qualiti Assessoria e Consultoria S/AVínculo: Prestação de Serviço, Enquadramento Funcional: Instrutor Java
Atividades
-
07/2008 - 08/2008
Ensino,,Disciplinas ministradas, Curso Java Avançado
2006 - 2008
Hospital da RestauraçãoVínculo: Voluntário, Enquadramento Funcional: Voluntário da AAP
Outras informações:
AAP (Associação dos Amigos da Pediatria)
2005 - 2006
Facilit TecnologiaVínculo: Estágio curricular IEL, Enquadramento Funcional: Estagiário, Carga horária: 20
Atividades
-
10/2005 - 07/2006
Estágios , Universidade Federal de Pernambuco.,Estágio realizado, Consultoria especializada em Java.
2005 - 2005
Centro de Estudos e Sistemas Avançados do RecifeVínculo: Pré-incubação, Enquadramento Funcional: Pré-incubação, Carga horária: 2
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Joabe Bezerra de Jesus Júnior 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?