Experience

TASKING

• Germany
• Software Development
• 1 - 100 Employee

• Compiler Engineer

  • Jun 2023 - Present



Cadence Design Systems

• United States
• Software Development
• 700 & Above Employee

• Software Engineer

  • May 2022 - May 2023

  Worked as part of the System-Level Verification IP team to enable PCIe SoC verification. • Developed a simulator for the verification of the PCIe specification using modern C++17. • Developed Python DevOps applications to enable easier software development. • Implemented learning practices on TDD and C++20 through coding dojos. • Experience with remote work in a globally distributed team. Worked as part of the System-Level Verification IP team to enable PCIe SoC verification. • Developed a simulator for the verification of the PCIe specification using modern C++17. • Developed Python DevOps applications to enable easier software development. • Implemented learning practices on TDD and C++20 through coding dojos. • Experience with remote work in a globally distributed team.



LASIGE

• Portugal
• Research Services
• 1 - 100 Employee

• Compiler Researcher

  • Sep 2020 - Sep 2022

  Worked as part of the Software Quality research team with focus on programming languages. • Designed a programming language formal Type System with refinement types called Ekitai. • Developed an incremental LLVM front-end for Ekitai supporting the C ABI using Rust. • Experience with remote work in a globally distributed team. Worked as part of the Software Quality research team with focus on programming languages. • Designed a programming language formal Type System with refinement types called Ekitai. • Developed an incremental LLVM front-end for Ekitai supporting the C ABI using Rust. • Experience with remote work in a globally distributed team.



Universidade Federal de Santa Catarina

• Brazil
• Higher Education
• 700 & Above Employee

• Undergraduate Teaching Assistant

  • Jul 2019 - Dec 2020

  Courses: Compiler Construction; Formal Languages and Compilers; Computer Science Theory.

• EDA Researcher

  • Jun 2016 - Dec 2019

  Worked as part of the EDA research team to build a modern C++17 library to enable EDA research and teaching.• Developed cache-aware data structures and algorithms modern C++17 library for building EDA physical designapplications. Developed parallel algorithms using OpenMP, pThread and Boost.• Acted as Lead Software Engineer guiding the team in technical decisions regarding modern C++17 libraryArchitecture and enforcing agile practices such as TDD, Code Review, CI/CD, and KanBan.• Acted as Lead DevOps engineer developing the library build system in modernCMake and Python. DevelopedCI/CD pipelines for testing and distributing multiple Linux binary packages (e.g. rpm, deb, pacman, yocto). Show less



University College Cork

• Ireland
• Higher Education
• 700 & Above Employee

• BCs Computer Science Exchange Program

  • Jun 2015 - Aug 2016



Universidade Federal de Santa Catarina

• Brazil
• Higher Education
• 700 & Above Employee

• System Administrator

  • Jul 2013 - May 2014

  Worked as part of the CS extension program group acting as System Administrator. • Administrated the extension program Linux infrastructure and servers (e.g. Linux Repositories, Web Services, SQL, Ldap, ArchLinux, Gentoo) • Organized the Computer Science Week, a per semester event where multiple local companies would give talks and mini-courses to Undergraduate students. • Aided Professors on teaching and research extension programs. Worked as part of the CS extension program group acting as System Administrator. • Administrated the extension program Linux infrastructure and servers (e.g. Linux Repositories, Web Services, SQL, Ldap, ArchLinux, Gentoo) • Organized the Computer Science Week, a per semester event where multiple local companies would give talks and mini-courses to Undergraduate students. • Aided Professors on teaching and research extension programs.