Bio
24 years old Portuguese born in the year of 2000 in Portalegre, a Portuguese town in the interior. Currently living in Portugal but willing to move anywhere.
Profissional Work
Software Engineer @ Leonteq AG 2024 Apr. — present.
Developed and maintained the order management system, a core service at Leonteq, where all orders come to existence.
Besides general feature development, bug fixing, and support, I:
- activated several compiler flags for type safe.
- introduced enumeratum.
- rewrote endpoints in pure functional style.
- introduced cats immediatly, cats-effect short after, and fs2 later on.
- wrote daemon processes in pure FP in tagless-final style.
- failed to migrate our desktop swing client to the browser.
- Scala 2
- cats
- cats-effect
- fs2
- cron4s
- Akka/Pekko actors
- RabbitMQ
- Google Protobuf
- Oracle Database
- Flyway
Independent Contractor @ Schütz GmbH 2023 Jun. — Aug.
I was hired to do a small development on top of the system I had developed from scratch while working at Softinsa.
This extension was developed using the same technologies as before (see below) plus htmx and mustache templates.
Software engineer @ Nezasa AG 2022 Dec. — 2024 Apr.
Developed and maintained the Trip Builder engine, the Nezasa monolith that makes everything work.
Technologies:- Scala 2
- Play Framework
- cats
- Akka Actors
- Ember
- React
- MongoDB
Software engineer @ Softinsa - IBM 2022 Jan. — Dec.
As a one-man team, I wrote a integration system for detecting damages in and classifying IBCs. During this time, I had weekly meetings with the client to discuss the performance of the system, problems and solutions. During this time, I was fully responsible for managing deployments, monitoring, and user support.
Technologies:- Java
- Spring Framework
- Python
- FastAPI
- MS SQL
- Angular
- Docker
- Docker compose
- nginx
- systemd
I was later hired directly by Schütz to further develop this system.
Academic and Scientific Work
- Drones as Sound Sensors for Energy-Based Acoustic Tracking on Wildfire Environments (2022)
- Swarm Optimization for Energy-Based Acoustic Source Localization: A Comprehensive Study (2022)
- Kalman Filtering for Tracking a Moving Acoustic Source based on Energy Measurements (2021)
- Natural Language Processing Toolkit — Language modeling for next word prediction (2021)
- Scientific Initiation Fellow Grant from COPELABS (2021)
- Development of a test-bench for evaluating the embedded implementation of the improved elephant herding optimization algorithm applied to energy-based acoustic localization (2020)
Education
Bachelor in
Informatics Engineering
from Polytechnic Institute of Portalegre, with grade 17 out of 20, started in 2018 and ended in 2021.
During this period I was awarded as
- Best graduate student of School of Technology and Management of Polythecnic Institute of Portalegre (2020/2021).
- Best 1st-year student of School of Technology and Management of Polythecnic Institute of Portalegre (2018/2019).
- and received a Scientific Initiation Fellow Grant.
Interests
- Programming languages theory.
- Correct and reliable software through typed, logical and functional programming.
- Scala (with cats-effect + fs2 or ZIO or Kyo), Haskell, and dependently-typed PL like Coq/Agda/Idris.
- Web programming following REST as originally defined by Roy Fielding. HTTP, HTML, htmx, PicoCSS.
- Event sourcing and append-only application state.
- Tagless-final and capabilities / effect systems.
- Domain-driven design via types (hopefully done in close collaboration with the business stackholders).
- Deterministic and fast builds and CIs, and automatic zero-downtime deployments. Nix, NixOS.