Anderson Max Almeida e Porfirio

Engenheiro de Verificação de SoC - Freescale Semiconductor Technology - Brasil. Bacharel em Ciência da Computação no Departamento de Informática da UFPB em 2008. Foi pesquisador do Laboratório de Arquitetura, Sistemas Integráveis e Circuitos (LASIC). Projetista de circuitos integrados formado pelo Programa CI Brasil no Centro de Treinamento 1(Porto Alegre), sendo líder de equipe de desenvolvimento na fase de projeto do curso.

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

Acadêmico

Formação acadêmica

Mestrado interrompido em 2009 em Informática

2009 - interrompida

Universidade Federal da Paraíba
Ano de interrupção: 2009

Graduação em Ciência da Computação

2003 - 2008

Universidade Federal da Paraíba
Orientador: Antonio Carlos Cavalcanti

Formação complementar

2009 - 2010

Projetistas de Circuitos Integrados. (Carga horária: 595h). , Cadence Design Systems, Inc..

2009 - 2009

Estrutura de Dados e Complexidade de Algoritmos. (Carga horária: 60h). , Universidade Federal da Paraíba, UFPB, Brasil.

2009 - 2009

ENGENHARIA DE SOFTWARE. (Carga horária: 60h). , Universidade Federal da Paraíba, UFPB, Brasil.

2009 - 2009

CIRCUITOS INT DIG E FUND DE PROJETO. (Carga horária: 60h). , Universidade Federal da Paraíba, UFPB, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, 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.

Participação em eventos

XIV ENIC - encontro de iniciacao cientifica.Acesso aos controles continuos de arquivos Midi. 2006. (Encontro).

Outras produções

GUIGUE, D. J. G. ; ROLIM, A. L. ; PORFIRIO, A. M. A. . SOAL - Sonic Object Analysis Library 1.2.2. 2006.

Histórico profissional

Endereço profissional

Freescale Semicondutores Brasil. , Condominio TechnoPark, Rua James Clerk Maxwell, 400., Rodovia Anhanguera, km 104, 13069-380 - Campinas, SP - Brasil, Telefone: (019) 37838696, URL da Homepage:

Experiência profissional

2010 - 2012

Freescale Semicondutores Brasil

Vínculo: Bolsista SDT - MCT, Enquadramento Funcional: Engenheiro de Verificação de SoC, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Verificação funcional de submódulos da interface de debug de um microcontrolador. Desenvolvimento de plano de verificação, revisão de documentos de especificação do projeto e de integração do SoC, criação de padrões funcionais, verificação formal utilizando assertions (SVA) e análide de cobertura.

2009 - 2010

Centro de Treinamento 1

Vínculo: Projetista, Enquadramento Funcional: Projetista de Circuitos Integrados, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Bolsista do programa CI-Brasil de 09/09 até 08/10. Projetista de circuitos integrados - digital, no centro de treinamento 1/Universidade Federal do Rio Grande do Sul. Na etapa I do curso fez um projeto de um jogo de BlackJack desde a especificação até o layout. Na etapa II foi líder de um projeto que tinha o objetivo de desenvolver um Porta Retratos Digital desde a especificação até o layout. Foi criado um ambiente competitivo e dinâmico simulando uma Design House, com reuniões semanais com um cliente, tutorado pela equipe de treinamento. Para o desenvolvimento do projeto usou-se o fluxo de ferramentas cadence, ferramenta de controle de versão e de gestão de projetos.

2008 - 2009

Laboratório de Arquitetura, Sistemas Integráveis e Circuitos

Vínculo: Estágio de conclusão de curso, Enquadramento Funcional: Pesquisa e desenvolvimento, Carga horária: 20

Outras informações:
Pesquisas no LASIC (Laboratório de Arquitetura, Sistemas Integráveis e Circuitos) visando o estágio supervisionado para conclusão do curso de graduação. Implantação de um sistema de gerenciamento de projetos de IP/SoCs (Systems on Chips) no mesmo laboratório.

2006 - 2007

Empresa Júnior de Ciência da Computação - UFPB

Vínculo: Voluntario, Enquadramento Funcional: Colaborador, Carga horária: 10

Outras informações:
Trabalhos na empresa Júnior de Ciência da Computação - NECTI (Núcleo de Estudos e Consultoria em Tecnologia da Informação), como assessor jurídico financeiro, e como colaborador em desenvolvimento, analista e gerente de desenvolvimento de projeto.

2005 - 2007

Musicologia, Sonologia e Computação

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador CNPq, Carga horária: 20

Outras informações:
Desenvolver aplicativos computacionais para o auxilio a análise da música não tonal, na área de Musicologia sistemática. De forma conexa, desenvolvimento de programas de apoio à composição. Usando Common Lisp Object Syntax; arquivos MIDI; SOAL.

2008 - 2008

Portugal Telecom - Sapo ADSL

Vínculo: Contrato Temporario, Enquadramento Funcional: Suporte de acesso a internet a clientes ADSL, Carga horária: 20

Outras informações:
A seleção do trabalho contou com uma formação de 60 horas na area especificada. Suporte na configuração/instalação de modems e roteadores e resolução de problemas de acesso.