Curriculum vitae INFORMAÇÃO PESSOAL Samuel Silva Praceta Stuart de Carvalhais, Nº 1, 2 Frente, 2720-521 Reboleira +351 96 7511630 [email protected] Sexo Masculino | Data de nascimento 19 jul 85 PROFISSÃO Computers, Software EXPERIÊNCIA PROFISSIONAL mai 11–jul 11 Engenheiro de Software Indra Sistemas Manutenção de módulos num projecto em .NET fev 10–abr 11 Consultor Júnior Integer Consulting Desenvolvimento e manutenção de módulos em .NET dez 08–nov 09 Programador de software Frezite, SA Alguns projectos EDUCAÇÃO E FORMAÇÃO set 07–nov 08 Mestrado em Informática Universidade do Minho Tema da tese: Manipulação de Música Abstracta. Orientador: José Nuno Oliveira Co-Orientador: José João Dias de Almeida O desenvolvimento do trabalho abordou as seguintes áreas: - Métodos Formais - Desenvolvimento de Software - Processamento Estruturado de Documentos Foram abordadas, principalmente, as seguintes tecnologias: - XML - Haskell - Perl(alguns scripts simples) - Cabal(uma ferramenta para construir aplicações e bibliotecas) set 03–set 07 Licenciatura em Ciências da Computação Universidade do Minho - Matemática Computacional 27/5/17 © União Europeia, 2002-2017 | http://europass.cedefop.europa.eu Página 1 / 3 - Programação Funcional, Imperativa, Lógica e Orientada a Objectos - Algoritmia e Estruturas de Dados - Compiladores e Processamento de Linguagens - Algebra - Sistemas operativos - Bases de Dados - Especificação de Software usando Métodos Formais e UML COMPETÊNCIAS PESSOAIS Outras línguas English COMPREENDER FALAR ESCREVER Compreensão oral Leitura Interação oral Produção oral B1 B2 B1 B1 B1 Níveis: A1 e A2: Utilizador básico - B1 e B2: Utilizador independente - C1 e C2: Utilizador avançado Quadro Europeu Comum de Referência para as Línguas Competências de organização Modelação de um sistema de ficheiros em VDM e Alloy. Delegado de turma no ano lectivo 2006/2007. Colaborador na ETAPS\'07. Participante na CENPLF\'06 e CENPLF\'07. Competência digital Linguagens de programação[básico]: SQL, PHP. Linguagens de programação[independente]: C, Java, Prolog, XML. Linguagens de programação[avançado]: Haskell. Linguagens de especificação[independente]: UML, VDM-SL, VDM++, Alloy. Compiladores e Parsers: lex, yacc. Trabalho colaborativo: SVN, Wiki, Trac. Bases de Dados: MS SQL Server. Sistemas Operativos: Windows e Linux(Mandriva 10.2, Fedora 3 e Slackware 11). Outras competências Adaptável em trabalho de equipa. Capacidade de abstração na resolução de problemas. Carta de Condução categoria B<br/> INFORMAÇÃO ADICIONAL Publicações ANEXOS ▪ coverletter.pdf 27/5/17 © União Europeia, 2002-2017 | http://europass.cedefop.europa.eu Página 2 / 3 Passaporte europeu de competências Samuel Silva coverletter.pdf 27/5/17 © União Europeia, 2002-2017 | http://europass.cedefop.europa.eu Página 3 / 3