Experience

Monad

• United States
• Computer and Network Security
• 1 - 100 Employee

• Backend Engineer

  • Mar 2023 - Present



pfs

• Spain
• Software Development
• 200 - 300 Employee

• Senior Python Software Engineer

  • Feb 2020 - Mar 2023

  As Senior Python Engineer at PFS Group S.L., I am focused on the new challenges that our customers bring us as well as the ones generated internally. At the same time, in our team we are always searching for new opportunities in the most recent technologies and approaches. Our main goal is to bring PFS Group S.L. to the next level and to offer a technology never seen before in our sector.

• IT Researcher

  • Oct 2018 - Feb 2020

  Research, PoCs and products covering the following topics: named entity recognition, machine learning, natural language processing, microservice infrastructures, neuronal networks, automated data normalisation, concurrency, message-brokers and data science. The main programming language for most of these topics is Python 3.



Universidad Europea de Valencia

• Spain
• Education Management
• 100 - 200 Employee

• Supervisor

  • May 2021 - Dec 2021

  Theses supervisor and evaluator at the MSc in Project Management Theses supervisor and evaluator at the MSc in Project Management



Universitat Politècnica de València (UPV)

• Spain
• Higher Education
• 700 & Above Employee

• Postdoctoral Researcher

  • Sep 2016 - Sep 2018

  Postdoctoral grant acquired for personal merits in a very competitive selective process. The research topics during these years were mainly testing-debugging interoperability, runtime verification, automated transformation of programs and models, automated behaviour preservation control and web information extracion. All these studies are materialised in several tools (available on my GitHub) and in relevant publications https://dblp.uni-trier.de/pers/hd/t/Tamarit:Salvador

• Teacher

  • Sep 2016 - Jul 2018

  Master course "Advanced Programming in Erlang" in 2017 and 2018.



Universidad Politécnica de Madrid

• Spain
• Higher Education
• 700 & Above Employee

• Postdoctoral Researcher

  • Jan 2014 - Aug 2016

  POLCA project explicitly addresses the programmability concerns of both embedded and high performance computing. Our tasks as partner of the project are mainly focused in the development of the Polca toolchain. My personal contributions are a studies of MCAPIs, MPI, OpenMP and Polyhedral computing, as well as the development of a C program transformation toolchain implemented in Haskell.

• Teacher

  • Sep 2015 - Jul 2016

  Master course "Introduction to Data Flow Computing" in 2016. Degree course "Concurrency" in 2015 and 2016.



Universitat Politècnica de València (UPV)

• Spain
• Higher Education
• 700 & Above Employee

• Assistant Researcher

  • Nov 2006 - Aug 2013

  Developed different tools: Program slicing for different languages (CSP, Petri Nets, Erlang, XQuery), a declarative debugger for Erlang, translation from CSP to Petri Nets, tracking of CSP specifications and partial evaluators for Curry and Prolog. The languages used were mainly Erlang, Haskell and Prolog. Some web interfaces developed in order to test easily some tools.

• Teaching Assistant

  • Sep 2010 - Jul 2013

  Degree course "Computer Programming" in 2013 and 2012. Degree course "Graphical User Interfaces" in 2011.



Universidad Complutense de Madrid

• Spain
• Higher Education
• 700 & Above Employee

• Visiting Researcher

  • Sep 2012 - Dec 2012

  Theme: A declarative debugger for Erlang. Group leader: Francisco López Fraguas. Theme: A declarative debugger for Erlang. Group leader: Francisco López Fraguas.



Uppsala University

• Sweden
• Higher Education
• 700 & Above Employee

• Visiting Researcher

  • Sep 2011 - Dec 2011

  Theme: Improvement of the error messages shown by Dyalizer. Group leader: Konstantinos Sagonas. Theme: Improvement of the error messages shown by Dyalizer. Group leader: Konstantinos Sagonas.



University of Düsseldorf

• Germany
• Higher Education
• 700 & Above Employee

• Visiting Researcher

  • Jan 2010 - Apr 2010

  Themes: - Partial evaluation of Prolog programs. - CSP and ProB Group leader: Michael Leuschel. Themes: - Partial evaluation of Prolog programs. - CSP and ProB Group leader: Michael Leuschel.



University of Düsseldorf

• Germany
• Higher Education
• 700 & Above Employee

• Visiting Researcher

  • Sep 2008 - Oct 2008

  Theme: Slicing of CSP specifications. Group leader: Michael Leuschel. Theme: Slicing of CSP specifications. Group leader: Michael Leuschel.



InnoTIC

• Valencia, Spain

• Software Engineer

  • May 2004 - Jul 2004

  Worked in several projects for business management. Laguages used: Visual Basic Java C Worked in several projects for business management. Laguages used: Visual Basic Java C