Raquel Araújo de Oliveira
Doutora em Ciência da Computação pela Université de Grenoble (França), com foco nas seguintes área de pesquisa : Interação homem-máquina, engenharia guiada por modelos, verificação formal de sistemas. Conhecimento em gerência de projetos, análise de sistemas e metodologias ágeis de desenvolvimento de software. Experiência em coordenação de desenvolvimento de software.
Informações coletadas do Lattes em 10/11/2025
Acadêmico
Formação acadêmica
Doutorado em Doutorado em Informática
2012 - 2015
Université de Grenoble, Grenoble-Univ
Título: Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision
Orientador: Sophie Dupuy-Chessa
Coorientador: Hubert Garavel.
Mestrado em Master Mathématiques Informatique
2010 - 2012
Université Joseph Fourier - Grenoble I
Título: Schema and Query Evolution,Ano de Obtenção: 2012
Orientador: Pierre Geneves
Palavras-chave: XML schema; XQuery; schema evolution; XPath.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: 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.
Especialização em Gestão de Tecnologia da Informação
2006 - 2007
Universidade Gama Filho
Título: Artigo
Graduação em Tecnologia em Processamento de Dados
2001 - 2004
Instituto de Tecnologia da Amazônia
Título: Datawarehouse
Curso técnico/profissionalizante em Processamento de Dados
1997 - 1999
Pós-doutorado
2016 - 2016
Pós-Doutorado. , Queen's University at Kingston, QUEENS, Canadá.
Formação complementar
2009 - 2009
Certified Scrum Master. (Carga horária: 16h). , Scrum Alliance, SA, Brasil.
2008 - 2008
Liderança ? o fator resultado. (Carga horária: 12h). , SEM MAIS DESCULPAS - BUSINESS CENTER, SMD, Brasil.
2008 - 2008
JB267 ? Advanced Hibernate. (Carga horária: 16h). , Redhat, REDHAT, Brasil.
2008 - 2008
Java Avançado. (Carga horária: 40h). , Qualiti Software Processes, QUALITI, Brasil.
2008 - 2008
Java Web. (Carga horária: 9h). , Fundação Desembargador Paulo do Anjos Feitoza, FPF, Brasil.
2008 - 2008
Gestão de Contas a Pagar e Contas a Receber. (Carga horária: 15h). , Editor Fiscal, EF, Brasil.
2008 - 2008
Mapeamento e Modelagem de Processos e o BPM. (Carga horária: 8h). , COMÊXITO - Consultoria e Treinamento em Sistemas de Gestão da Qualidade, COMÊXITO, Brasil.
2008 - 2008
Seminário de Gerenciamento de Projetos. (Carga horária: 8h). , Project Management Institute, PMI, Brasil.
2008 - 2008
JB170 Jboss Seam Essentials. (Carga horária: 24h). , Redhat, REDHAT, Brasil.
2001 - 2001
6 Sigma. (Carga horária: 20h). , Lg Eletronics da Amazônia, LG, Brasil.
2000 - 2000
Redes Locais para Windows 95/98. (Carga horária: 20h). , SENAI - Departamento Regional do Amazonas, SENAI/AM, Brasil.
2000 - 2000
Palestra ISO 9000. (Carga horária: 4h). , Sharp do Brasil, SHARP, Brasil.
1999 - 1999
Digitador Profissional. (Carga horária: 15h). , Dígitus Informática, DÍGITUS, Brasil.
1999 - 1999
Técnico em Montagem de Computador. (Carga horária: 12h). , Dígitus Informática, DÍGITUS, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interação homem-máquina.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação formal de sistemas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia guiada por modelos.
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: Sistemas de Informação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas críticos.
Histórico profissional
Experiência profissional
2016 - Atual
Université Toulouse III Paul SabatierVínculo: Servidor Público, Enquadramento Funcional: pesquisadora e professora, Carga horária: 40, Regime: Dedicação exclusiva.
2016 - 2016
Queen's University at KingstonVínculo: Bolsista, Enquadramento Funcional: pos-doutoranda, Carga horária: 40, Regime: Dedicação exclusiva.
2015 - 2016
Université Pierre-Mendès-France - Grenoble IIVínculo: Bolsista, Enquadramento Funcional: professora, Carga horária: 40, Regime: Dedicação exclusiva.
2013 - 2015
Université de Grenoble, Grenoble-UnivVínculo: Bolsista, Enquadramento Funcional: professora, Carga horária: 10
2013 - 2013
Institut Polytechnique de Grenoble, Grenoble INPVínculo: Bolsista, Enquadramento Funcional: professora, Carga horária: 10
2012 - 2012
Institut National de Recherche en Informatique et en Automatique - SiègeVínculo: estagiário, Enquadramento Funcional: estagiário, Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações:
Estágio do segundo ano do mestrado, desenvolvimento da tese de mestrado com o tema "Impact of Schema Evolution on XQuery".
2011 - 2011
Atos OriginVínculo: estagiário, Enquadramento Funcional: estagiário, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Estágio de verão (2 meses), durante as férias do mestrado. Desenvolvimento de interfaces para uma aplicação em uma ferramenta chamada Business Object da SAP (utilizando Oracle).
2011 - 2011
Laboratoire d'Informatique de GrenobleVínculo: estagiário, Enquadramento Funcional: estagiário, Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações:
Estágio do primeiro ano do mestrado, no time ADELE, utilizando Java e frameworks como OSGI, IPOJO, Cilia e Rose, com o intuito de contribuir com o desenvolvimento de um framework orientado a serviços chamado ICasa.
2007 - 2010
Fundação Desembargador Paulo FeitozaVínculo: Colaborador, Enquadramento Funcional: Líder de Desenvolvimento, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações:
Liderança de equipes no desenvolvimento de projetos em Delphi com Firebird e Java com Postgres. Planejamento de escopo, ciclo de vida, tecnologias, requisitos, planos de recursos, de riscos e de comunicação e cronograma de projetos.
2002 - 2007
Sistematic Tecnologia e Sistemas de InformaçãoVínculo: Colaborador, Enquadramento Funcional: Gerente de Desenvolvimento, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações:
Implantação de sistemas, treinamento de usuários, análise de melhorias no software para adequação à realidade da empresa. Planejamento de escopo, prazo e custo de desenvolvimento de software. Coordenação de equipe de desenvolvedores e equipe de testes, com distribuição das alterações a serem desenvolvidas no software.
2000 - 2001
LG ELETRONICS DA AMAZONIAVínculo: Colaborador, Enquadramento Funcional: Auxiliar Administrativo, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações:
Atuação no setor de Inserção Automática, com funções como o controle de peças de reposição das máquinas, freqüência de funcionários, relatórios diários de produção do setor, bem como a eficiência e as perdas de produção, desenvolvendo programas que otimizassem esses processos.
2000 - 2000
Logos Bolsas de VeículosVínculo: Colaborador, Enquadramento Funcional: Estagiária de Informática, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Atuação no setor Central de Processamento de Dados (CPD), desenvolvendo um programa gerenciador da empresa, com o cadastro dos clientes e dos veículos da mesma, suas transações comerciais e todas as suas tarefas cotidianas.
2000 - 2000
Sharp do BrasilVínculo: Colaborador, Enquadramento Funcional: Sharp do Brasil, Carga horária: 40
Outras informações:
Atuação inicialmente no setor de Inserção Automática, com a função de desenvolver programas que otimizassem o serviço do setor, e posteriormente no setor de Central de Processamento de Dados (CPD), desenvolvendo um programa de controle de notas fiscais recebidas pela empresa.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Raquel Araújo de Oliveira 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?