Bio
24 years old, Portuguese.
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.
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)
Profissional Work
Software engineer at Leonteq AG, April 2024 to present.
Development and refactoring of the order managment system.
Scala 2, cats, cats-effect, Akka actors, RabbitMQ, Google Protobuf, Oracle Database, Flyway, Jenkins.
Independent contractor at Schütz GmbH, June to Aug 2023 (while at Nezasa, 2mo).
Improvement and further development of the system I had developed while working at Softinsa.
Same technologies plus htmx!
Software engineer at Nezasa AG, Dec 2022 to April 2024 (1y 4mo).
Development and refactoring of the Trip Builder engine.
Scala 2, Play Framework, Typelevel Cats, Akka Actors, Ember & React, MongoDB.
Software engineer at Softinsa - IBM, Jan to Dec 2022 (1y).
As a one-man team, I developed a web application from scratch integrating 3 other systems
(a line production controller, a computer vision service, and SAP).
My job included weekly meetings with the client (Schütz) to understand problems and design solutions,
managing deployments, monitoring, and user support. I was later hired directly by Schütz to continue my work.
Java 17, Spring, Microsoft SQL, Angular, Docker, Docker Compose, nginx.
Interests
- Programming languages theory.
- Correct and reliable software through typed, logical and functional programming.
- Scala (with cats-effect + fs2 or zio), 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 CIs, and automatic zero-downtime deployments. Nix, NixOS.