Thanks for visiting my website. Here you can find information related to my ongoing career as a software developer/engineer, as well as links to other things that I'm working on at the moment.
As you can tell from this website, I try to avoid frontend work as much as possible.
Websites should be as minimal as possible.
Also, IF YOU ARE A RECRUITER READ THIS:
- Am I looking for new job opportunities at the moment? No.
- Will I reply to unsolicited emails? No.
- Am I a perfect match for your company? Read the previous points.
- Signifyd - Software Engineer - Jan 2022 (ongoing)
- Checkmarx - Application Security Analyst - Sep 2019 to Dec 2021
- Sétima - Backend Developer - Nov 2018 to Aug 2019
- ONLY Smart Home/Enancer - Software Developer - Jun 2016 to Nov 2018
- Research Assistant at UMinho (High Performance and Graphics, afterwards HASLab) from 2006 to 2014
- Teaching assistant for a first year lab class in programming for the Informatics Engineering undergrad (LEI) at UMinho (2011/2012 + 2012/2013)
I'm only listing technologies I have worked with AND that I'm still interested in working with in the future. I'm classifying my experience/knowledge in each from 1 to 5 stars (*).
- Java ***
- Apache Tomcat, Grizzly ***
- ANTLR ***
- jUnit ***
- Python ***
- Flask **
- Haskell ***
- Javascript ***
- Express **
- C ****
- C++ *
- Ada **
- SPARK ***
- MySQL/MariaDB ***
- bash ***
- Docker **
- Git ***
- Linux ***
Currently I'm studying Crystal and Elixir in my free time. I'm also interested in Rust and Go.
I'm a very big fan of programming languages and I think every programming paradigm has its own place where it shines. The trick is to use what's best for each problem/challenge.
- PhD in Computer Science (hiatus since 2014)
- MSc in Informatics
- A Formal Approach for a Subset of the SPARK Programming Language: Semantics and Program Verification
- BSc in Informatics Engineering (LEI)
To be added: courses from LinkedIn learning, pluralsight, coursera and other online platforms.
- Github
- Instagram for music and day-to-day stuff
- Instagram for martial arts
- Old Instagram
- Old personal page from my uni days
My blog content can be found here. This is mainly a repository of ideas that range from technical/programming stuff including computer science and creative programming, but also texts related to music, songwriting, arts (traditional and digital) and martial arts.
Here's a curated list of links I find interesting and/or useful:
Feel free to contact me at: mail ♡ edbrito.pt
Last updated: 2022-01-07