edbritopt/index.html at main · edbrito-swdev/edbritopt · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
<head>
  <meta charset="utf-8" />
  <meta name="generator" content="pandoc" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
  <title>Eduardo Brito</title>
  <style type="text/css">
      code{white-space: pre-wrap;}
      span.smallcaps{font-variant: small-caps;}
      span.underline{text-decoration: underline;}
      div.column{display: inline-block; vertical-align: top; width: 50%;}
  </style>
  <link rel="stylesheet" href="darkdown.css" />
</head>
<body>
<h1 id="eduardo-brito---software-developer">Eduardo Brito - Software Developer</h1>
<p><img src="images/eu.jpg" /></p>
<p>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.</p>
<p>As you can tell from this website, I try to avoid frontend work as much as possible.</p>
<p><strong><a href="https://motherfuckingwebsite.com/">Websites</a> should be as minimal as possible.</strong></p>
<p>Also, <strong>IF YOU ARE A RECRUITER READ THIS:</strong></p>
<ul>
<li>Am I looking for new job opportunities at the moment? No.</li>
<li>Will I reply to unsolicited emails? No.</li>
<li>Am I a perfect match for your company? Read the previous points.</li>
</ul>
<h2 id="work">Work</h2>
<h3 id="jobs">Jobs</h3>
<ul>
<li>Signifyd - Software Engineer - Jan 2022 (ongoing)</li>
<li>Checkmarx - Application Security Analyst - Sep 2019 to Dec 2021</li>
<li>Sétima - Backend Developer - Nov 2018 to Aug 2019</li>
<li>ONLY Smart Home/Enancer - Software Developer - Jun 2016 to Nov 2018</li>
<li>Research Assistant at UMinho (High Performance and Graphics, afterwards HASLab) from 2006 to 2014</li>
<li>Teaching assistant for a first year lab class in programming for the Informatics Engineering undergrad (LEI) at UMinho (2011/2012 + 2012/2013)</li>
</ul>
<h3 id="technologies">Technologies</h3>
<p>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 (*).</p>
<ul>
<li>Java ***
<ul>
<li>Apache Tomcat, Grizzly ***</li>
<li>ANTLR ***</li>
<li>jUnit ***</li>
</ul></li>
<li>Python ***
<ul>
<li>Flask **</li>
</ul></li>
<li>Haskell ***</li>
<li>Javascript ***
<ul>
<li>Express **</li>
</ul></li>
<li>C ****
<ul>
<li>C++ *</li>
</ul></li>
<li>Ada **
<ul>
<li>SPARK ***</li>
</ul></li>
<li>MySQL/MariaDB ***</li>
<li>bash ***</li>
<li>Docker **</li>
<li>Git ***</li>
<li>Linux ***</li>
</ul>
<p>Currently I’m studying Crystal and Elixir in my free time. I’m also interested in Rust and Go.</p>
<p>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.</p>
<h3 id="degrees-courses-and-continuous-learning">Degrees, courses and continuous learning</h3>
<ul>
<li>PhD in Computer Science (hiatus since 2014)</li>
<li>MSc in Informatics
<ul>
<li>A Formal Approach for a Subset of the SPARK Programming Language: Semantics and Program Verification</li>
</ul></li>
<li>BSc in Informatics Engineering (LEI)</li>
</ul>
<p>To be added: courses from LinkedIn learning, pluralsight, coursera and other online platforms.</p>
<h2 id="personal-links">Personal links</h2>
<ul>
<li><a href="https://github.com/edbrito-swdev">Github</a></li>
<li><a href="https://www.linkedin.com/in/eduardo-brito-2608b517/">LinkedIn</a></li>
<li><a href="https://www.instagram.com/ragingbass2020/">Instagram for music and day-to-day stuff</a></li>
<li><a href="https://www.instagram.com/kcbeduardo/">Instagram for martial arts</a></li>
<li><a href="https://www.instagram.com/k0ns0l3/">Old Instagram</a></li>
<li><a href="https://alfa.di.uminho.pt/~edbrito/">Old personal page from my uni days</a></li>
</ul>
<h2 id="blog">Blog</h2>
<p>My blog content can be found <a href="blog/">here</a>. 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.</p>
<h2 id="links">Links</h2>
<p>Here’s a curated list of links I find interesting and/or useful:</p>
<ul>
<li><a href="https://motherfuckingwebsite.com/">This is a motherfucking website.</a></li>
<li><a href="https://gethttpsforfree.com/">Get HTTPS for free.</a></li>
<li><a href="https://github.com/yrgoldteeth/darkdowncss">The CSS used for these pages.</a></li>
</ul>
<h2 id="contacts">Contacts</h2>
<p>Feel free to contact me at: mail ♡ edbrito.pt</p>
<p><strong><em>Last updated: 2022-01-07</em></strong></p>
</body>
</html>