Experience

DDC-I

• United States
• Software Development
• 1 - 100 Employee

• Embedded Software Engineer

  • Jul 2021 - Present

  Kernel verification for a real time operating system (RTOS). Programming, testing, and consulting services. Kernel verification for a real time operating system (RTOS). Programming, testing, and consulting services.



Teradyne

• United States
• Semiconductor Manufacturing
• 700 & Above Employee

• Software Engineer

  • Mar 2021 - Jun 2021

  Development of interfaces between software and hardware to control Automatic Test Equipment (ATE). Development of interfaces between software and hardware to control Automatic Test Equipment (ATE).



Avionyx

• Costa Rica
• Aviation and Aerospace Component Manufacturing
• 1 - 100 Employee

• Embedded Software Engineer

  • Mar 2019 - Feb 2021

  Verification of safety-critical aviation software in accordance with DO-178C standard. I worked on a level A project related to kernel verification for a real time operating system (RTOS). Verification of safety-critical aviation software in accordance with DO-178C standard. I worked on a level A project related to kernel verification for a real time operating system (RTOS).



Technical University of Munich

• Germany
• Research Services
• 700 & Above Employee

• Intern student at Technical University Munich (Neuroelectronics group)

  • Mar 2018 - Aug 2018

  Optimization of an analogue circuit design for a portable nanoparticle detection device (POND) using printed sensors. Neuroelectronics Group at the Technical University of Munich (TUM), Germany. Advisor: M.Eng. Leroy Grob. Optimization of an analogue circuit design for a portable nanoparticle detection device (POND) using printed sensors. Neuroelectronics Group at the Technical University of Munich (TUM), Germany. Advisor: M.Eng. Leroy Grob.



Tecnológico de Costa Rica

• Costa Rica
• Higher Education
• 700 & Above Employee

• Research Assistant

  • Jul 2017 - Nov 2017

  Multi-FPGA networks for the simulation of biologically accurate neural models. Integrated Circuit Design Laboratory, Costa Rica Institute of Technology. Advisor: M.Sc. Carlos Adrián Salazar García.

• Research Assistant

  • Aug 2016 - Nov 2017

  Conception of an initial prototype for an electrical impedance tomography system for the human forearm. Bioengineering Laboratory, Costa Rica Institute of Technology. Advisor: M.Sc. Martha Eugenia Vílchez Monge.

• Laboratory Assistant

  • Feb 2016 - Jun 2017

  Setting up and optimization for users of a Plasma-enhanced Chemical Vapor Deposition equipment. Microscopy Laboratory, Costa Rica Institute of Technology. Advisor: M.Sc. Allen Puente Urbina.

• Lecturer tutor

  • Jul 2015 - Nov 2016

  Working with the students of the course Digital Systems Design Laboratory, answering questions, preparing class material and evaluating reports. This course covers the basic aspects of the hierarchical design of digital systems, as well as the programming, simulation and synthesis of the designs described by the hardware description language Verilog on an FPGA. Course: Digital systems design laboratory, Costa Rica Institute of Technology.