Vítor Alcântara de Almeida

Desenvolvedor Android/iOS via flutter, Administrador de Servidores de dados, mestre em Ciência da Computação com ênfase em Métodos Formais.

Informações coletadas do Lattes em 10/10/2025

Acadêmico

Formação acadêmica

Mestrado em Sistemas e Computação

2014 - 2016

Universidade Federal do Rio Grande do Norte
Título: WPTrans: Um Assistente para Verificação de Programas em Frama-C
Orientador: David Bóris Paul Déharbe
, Ano de Obtenção: 2016.Coorientador: Richard Walter Alain Bonichon. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.

Graduação em Ciências da Computação - Bacharelado

2008 - 2013

Universidade Federal do Rio Grande do Norte
Título: Integrando SMT-Solvers na plataforma Rodin
Orientador: David Déharbe
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Curso técnico/profissionalizante

2005 - 2008

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Formação complementar

2021 -

Writing in the Sciences. (Carga horária: 40h). , Coursera, COURSERA, Estados Unidos.

2025 - 2025

Acessibilidade no HTML: Escrevendo Códigos Semânticos para Inclusão. (Carga horária: 6h). , ALURA, ALURA, Brasil.

2024 - 2024

Cypress: automatizando testes E2E. (Carga horária: 8h). , ALURA, ALURA, Brasil.

2024 - 2024

Cypress: automatizando testes E2E. (Carga horária: 8h). , ALURA, ALURA, Brasil.

2024 - 2024

Angular 14: aplique os conceitos e desenvolva seu primeiro CRUD. (Carga horária: 10h). , ALURA, ALURA, Brasil.

2022 - 2022

RESTful Web Services, Java, Spring Boot, Spring MVC and JPA. (Carga horária: 25h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Instale corretamente a IDE Android Studio no seu S.O. 2022. (Carga horária: 2h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Ética na administração pública. (Carga horária: 20h). , Laboratório de Tecnologia da Informação e Mídias Educacionais da UFG, LABTIME-UFG, Brasil.

2022 - 2022

Certified Pega System Architect 8.7. (Carga horária: 13h). , PEGA Academy, PEGA, Estados Unidos.

2022 - 2022

Scrum for Beginners + Scrum Master Certification Preparation. (Carga horária: 6h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Introdução ao Banco de Dados MYSQL. (Carga horária: 1h). , Alfahelix, ALFAHELIX, Brasil.

2022 - 2022

Speak Up! Public Speaking for Leadership Development. (Carga horária: 1h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Flutter & Firebase: Build a Complete App for iOS & Android. (Carga horária: 21h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Leadership Through The Art Of Masterful Communication. (Carga horária: 2h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Microsoft Windows Server 2019. (Carga horária: 12h). , Udemy, UDEMY, Estados Unidos.

2022 - 2022

Better Virtual Meetings: How to Lead Effective Meetings. (Carga horária: 1h). , Udemy, UDEMY, Estados Unidos.

2021 - 2021

Geografia: Introdução aos estudos da cartografia. (Carga horária: 3h). , Fundação Bradesco, BRADESCO, Brasil.

2021 - 2021

Língua Inglesa: Basic Review. (Carga horária: 3h). , Fundação Bradesco, BRADESCO, Brasil.

2021 - 2021

LEI GERAL DE PROTEÇÃO DE DADOS (LGPD). (Carga horária: 2h). , Fundação Bradesco, BRADESCO, Brasil.

2021 - 2021

Microsoft Office 365 - Conhecendo o OneDrive. (Carga horária: 1h). , Fundação Bradesco, BRADESCO, Brasil.

2021 - 2021

Introdução a criação de websites com HTML5 e CSS3. (Carga horária: 6h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Programação para Internet com Javacript. (Carga horária: 2h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Certificado de Treinamento em 5G. (Carga horária: 45h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2021 - 2021

Gestão e Fiscalização de Contratos Administrativos. (Carga horária: 40h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2021 - 2021

Estudo Técnico Preliminar Avançado para Contratação de Soluções de TIC. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2021 - 2021

Aprenda o que são Estrutura de Dados e Algoritmos. (Carga horária: 2h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Bem-vindo à DIO. (Carga horária: 1h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Lógica de Programação Essencial. (Carga horária: 4h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Fiscalização e Gestão de Contratos de TIC. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2021 - 2021

HCIA 5G. , Huawei do Brasil Telecomunicações - São Paulo, Huawei/SP, Brasil.

2021 - 2021

Termo de Referência para Contratação de TIC - Avançado. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2021 - 2021

Lógica de Programação Essencial. (Carga horária: 4h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

Introdução ao Git e ao GitHub. (Carga horária: 5h). , Digital Innovation One Holding LTD, DIO, Brasil.

2021 - 2021

ASC.020.0003-Comissão Interna de Prevenção de Acidentes - CIPA (D|20431). (Carga horária: 20h). , SENAI - Departamento Nacional, SENAI/DN, Brasil.

2020 - 2020

Treinamento Técnico do Sistema de Radiocomunicação Digital. (Carga horária: 16h). , Prisma Telecomunicações-Radiocomunicações, PRISMA, Brasil.

2020 - 2020

Declaração do Imposto de Renda Pessoa Física ? DIRPF ? IRPF. (Carga horária: 4h). , Unieducar Inteligência Educacional, UNIEDUCAR, Brasil.

2020 - 2020

Mundo Conectado - Manual de Sobrevivência. (Carga horária: 10h). , Instituto Serzedello Corrêa, ISC-TCU, Brasil.

2020 - 2020

eMAG Conteudista. (Carga horária: 20h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2020 - 2020

Emag Desenvolvedor. (Carga horária: 30h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2020 - 2020

Problem Solving (basic). , HackerRank, HACKERRANK, Estados Unidos.

2020 - 2020

Java (Basic). , HackerRank, HACKERRANK, Estados Unidos.

2020 - 2020

C (Intermediate). , HackerRank, HACKERRANK, Estados Unidos.

2016 - 2016

Curso de Gestão e Fiscalização de Contratos Admnistrativos. (Carga horária: 20h). , ACONSULT TREINAMENTOS & EVENTOS, ACONSULT, Brasil.

2016 - 2016

Curso de Elaboração de Termo de Referência em TI. (Carga horária: 20h). , ACONSULT TREINAMENTOS & EVENTOS, ACONSULT, Brasil.

2012 - 2013

Extensão universitária em Informatique et Gestion. (Carga horária: 225h). , Polytech Montpellier, POLYTECH MONTPEL, França.

Áreas de atuação

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: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

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.

Participação em eventos

Congresso Brasileiro de Software: Teoria e Prática 2015. WPTrans: Um assistente para Verificação de Programas no Frama-C. 2015. (Congresso).

Workshop Dimap 30 Anos.Assistente para Verificação de Programas em Frama-C. 2015. (Outra).

Workshop on B Dissemination.Integrating Rodin with SMT-Solvers. 2010. (Simpósio).

XIII Braziliam Symposium on Formal Methods.Integrating SMT-Solvers in Rodin. 2010. (Simpósio).

Produções bibliográficas

ALMEIDA, V. A. . Assistente para Verificação de Programas em Frama-C. In: Workshop Dimap 30 anos, 2015, Natal. Workshop Dimap 30 anos. Natal: UFRN, 2015. p. 27-29.
ALMEIDA, V. A. ; DEHARBE, D. . WPTrans: Um assistente para Verificação de Programas no Frama-C. In: Congresso Brasileiro de Engenharia de Software, 2015, Belo Horizonte. Sessão de Ferramentas, 2015. p. 105-112.
ALMEIDA, V. A. . Assistente para Verificação de Programas em Frama-C. 2015. (Apresentação de Trabalho/Outra).
DEHARBE, D. ; ALMEIDA, V. A. . Integrating SMT-Solvers in Rodin. 2010. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

2010 - 2012

Integração do provador veriT na plataforma Rodin, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vítor Alcântara de Almeida - Integrante / David Boris Paul Déharbe - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios

2020

Java (Basic) skill certificate, Hackerrank.

2020

C (intermediate) skill certificate, Hackerrank.

2020

Problem solving skill certificate, Hackerrank.

Histórico profissional

Endereço profissional

Serviço Federal de Processamento de Dados, SERPRO - Regional Recife. , Avenida Parnamirim, Parnamirim, 59012380 - Recife, PE - Brasil - Caixa-postal: 52060901, Telefone: (84) 21264010, URL da Homepage:

Experiência profissional

2013 - 2013

Atos Worldline

Vínculo: Scholarship, Enquadramento Funcional: Software Development Intern, Carga horária: 37, Regime: Dedicação exclusiva.

2011 - 2011

Systerel

Vínculo: Internship, Enquadramento Funcional: Programming Intern, Carga horária: 35, Regime: Dedicação exclusiva.

2009 - 2012

Universidade Federal do Rio Grande do Norte

Vínculo: Scholarship, Enquadramento Funcional: Researcher, Carga horária: 20

Outras informações:
Formal developments such as modelling and refinement in Event-B generate a large amount of proof obligations. SMT-solvers are a new family of theorem provers that hold the promise of not only automation and speed, but also additional features such as proof and counter-model generation. The function of this scholarship is to create a plug-in to integrate SMT-Solvers in the Rodin platform, so the user can make fast and automatic use of these two platforms together. This plug-in implements a translation from the proof obligations gen-erated in Rodin to the SMT-LIB format, calls a SMT-Solver on the results of this translation, and returns the result of proof immediately to Rodin.

2016 - 2022

Companhia Brasileira de Trens Urbanos - RJ

Vínculo: Celetista, Enquadramento Funcional: Analista de Gestão em TI, Carga horária: 40

2022 - 2024

Pegasystems Inc.

Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Sistemas, Carga horária: 40

Outras informações:
Consultoria do sistema Pega Infinity nos clientes

2025 - Atual

Serviço Federal de Processamento de Dados

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Outras informações:
Desenvolvimento de soluções mobile e web para clientes da União.