João Lucas Gomes de Miranda, Developer in São Paulo - State of São Paulo, Brazil
João is available for hire
Hire João

João Lucas Gomes de Miranda

Verified Expert  in Engineering

Bio

João is a skilled back-end engineer with experience in developing and maintaining systems that are used by hundreds of millions of people. He has previously worked with languages such as Go, Python, C/C++, Java, JavaScript, and more. He has strong algorithm skills and has demonstrated an ability for learning and excelling at new technologies as needed.

Portfolio

StockTwits
Go, PostgreSQL, Microservices Development, Architecture, AWS Lambda...
InVision App - Main
Go, PostgreSQL, OAuth, gRPC
Rappi
Go, PostgreSQL, Redis, Apache Kafka, MongoDB, Microservices Development, Docker...

Experience

Availability

Full-time

Preferred Environment

Git, Visual Studio Code (VS Code), MacOS, Linux

The most amazing...

...app I've built is a multiplayer game developed in three days, during a hackathon. The game was launched on Facebook and had 91,000 unique players.

Work Experience

Senior Software Engineer

2021 - 2023
StockTwits
  • Spearheaded the development and maintenance of the portfolio service, enabling users to seamlessly connect their broker/banking profiles and access real-time financial metrics such as performance, valuation, and daily fluctuations.
  • Designed and developed a leaderboards system. Leveraged complex performance calculation algorithms (such as TWR, MWR, etc.) and real-time data processing to compute and rank users accurately.
  • Participated in product planning actively and contributed to feature ideation, driving innovation and fostering a culture of continuous improvement within the engineering team.
Technologies: Go, PostgreSQL, Microservices Development, Architecture, AWS Lambda, API Development, Amazon Simple Queue Service (SQS), AWS, Plaid API, Kubernetes

Senior Software Engineer

2021 - 2021
InVision App - Main
  • Fixed bugs, provided maintenance, and implemented features for all integrations, such as Figma, Google Drive, etc., as an Integrations Squad member.
  • Developed the Google Drive integration, enabling millions of users of the InVision App to import Drive files to their home spaces.
  • Aided in optimizing local and development environments, improving development time across all teams.
Technologies: Go, PostgreSQL, OAuth, gRPC

Senior Software Engineer

2020 - 2021
Rappi
  • Developed a simulation and experiments tool in Go that enabled decision-makers at Rappi to conduct experiments and validate hypotheses using real-time data.
  • Worked on the design of a completely new architecture for the order-courier assignation system.
  • Implemented a key-value store interface in Go with a Redis client. This library will be used in all new Go projects that utilize key-value databases.
Technologies: Go, PostgreSQL, Redis, Apache Kafka, MongoDB, Microservices Development, Docker, Back-end Developers

Software Engineer

2019 - 2020
String and Key
  • Worked on designing, building and providing maintenance to micro-services and APIs for a banking/trading application. All micro-services were developed in Go.
  • Developed libraries, wrappers and communication protocols between all services.
  • Created an engine (in Go) that would subscribe to topics on a message queue and forward the events along to the services that would store / act upon them.
  • Implemented unit tests and integration tests for all the services of the application, using Go's native testing platform.
Technologies: AWS, Microservices Development, APIs, Docker, KrakenD, Kubernetes, PostgreSQL, Beego, Gorm, Go, Back-end Developers

Software Engineer

2018 - 2019
Understood
  • Worked on splitting a legacy monolithic application into microservices.
  • Created the whole infrastructure on Google Cloud using GKE/Kubernetes, Terraform, and Istio.
  • Implemented a CI/CD pipeline using Google Container Registry, GitHub, and CircleCI.
Technologies: REST API, Monorepos, Istio, Terraform, Docker, CircleCI, Kubernetes, Google Kubernetes Engine (GKE), Cloud Engineering, Go, JavaScript, Python, Back-end Developers

Software Engineer

2017 - 2018
Wildlife Studios
  • Worked on the back end of very successful games such as Sniper 3D, Castle Crush, War Machines, and War Heroes–implementing new features, fixing bugs, monitoring and providing maintenance. All these games combined make up more than 1 billion downloads.
  • Developed a UI for a matchmaker system (using React, D3.js, and Node.js), allowing product managers to plot graphs and configure/calibrate the matchmaker with just a few clicks.
  • Developed a Facebook Instant game from scratch (both the client and the server) in three days during a hackathon. The game reached 91,000 unique users on the first month after launch.
Technologies: Datadog, Docker, Kubernetes, Jenkins, Prometheus, Kibana, Elasticsearch, PostgreSQL, MongoDB, Redis, Erlang, Node.js, Go, Back-end Developers

Security Analyst Intern

2016 - 2016
Tempest Security Intelligence
  • Performed penetration tests on websites and apps (some with millions of users), looking for well-known vulnerabilities such as SQL Injection, XSS, Remote Code Execution, Brute-force, etc. while also looking for flaws within the application logic.
  • Reported all the vulnerabilities found with detailed information and the steps to reproduce them (proof of concept).
  • Provided all the necessary steps to be made in order to secure these issues.
  • Presented research about the state of security of specific technologies to other analysts.
Technologies: Metasploit, NMap, SQL, Burp Suite, Active Server Pages (ASP), Java, JavaScript, Python, Security

Software Engineer Intern

2014 - 2014
Design Starts
  • Developed a RESTful API (using Django and PostgreSQL) for an Android app called Hap.
  • Implemented scrapers for the Madrasa website.
Technologies: PostgreSQL, Beautiful Soup, Django, Python, Back-end Developers

Teaching Assistant

2011 - 2013
Federal University of Pernambuco
  • Worked as a teaching assistant for the "Algorithms and Data Structures" course at UFPE.
  • Provided lectures and support to over 60 undergraduate students about coding algorithms and data structures in languages such as C++ and Java.
  • Created and evaluated students' assignments.
Technologies: C++, C, Java

Space Battlegrounds

A Facebook instant game created during a hackathon at Top Free Games during the three days of competition. This game was the only multiplayer game presented and it had 91,000 unique players on the first month after launch. It is currently not maintained.

Evita

https://www.youtube.com/watch?v=NPIJy01X38o
Evita is an app for checking drug interactions between Brazilian commercial drugs. The app was made for iOS and was available to purchase on AppStore. The group won a prize on a startup contest for being the best idea.

Playlist Generator

https://github.com/jlgm/PlaylistGenerator
This app uses data from Last.fm (for finding similar tracks) and then searches for them on YouTube, generating a playlist afterward.

The program was developed using Angular and Node.js and is online on a free Heroku instance.

Running Balls

https://www.youtube.com/watch?v=Kn2Wr94tgBQ
A computer vision game implemented in C++ with the OpenCV library. This game identifies an object and then creates virtual red circles on the screen that run away from the chosen object. This was an assignment for a computer graphics course at CIn/UFPE.

Annotation of DBPedia Resources

https://github.com/jlgm/BDs-Inteligentes-Projeto
A tool made in Python/Django to find DBpedia resources on a text and annotate them with tooltips. This was a project for an intelligent databases course at CIn/UFPE.

DrugCrawling

https://github.com/jlgm/DrugCrawling
A search engine implementation in Python for an information retrieval course. The data was extracted from popular Brazilian pharmacy websites. The project has different modules such as crawler, classifier, extractor, indexer, queries, document ranking, and so on.

Space Invaders

https://github.com/jlgm/Space-Invaders
This is a game that is similar to Space Invaders and made in JavaScript and HTML5 (using Canvas). It was created for an assignment for the Programming on the Web course at the University of Toronto. A demo can be found at the link attached.

Competitive Programming Repository

https://github.com/jlgm/Algo
This is a repository with my accepted solutions for algorithm problems on competitive programming sites such as Codeforces, Topcoder, and UVA.
2022 - 2023

Master's Degree in Computer Science

University of São Paulo - Sao Paulo, Brazil

2011 - 2017

Bachelor of Science Degree in Computer Science

Federal University of Pernambuco - Pernambuco, Brazil

2013 - 2015

Completed Credits as an International Exchange Student in Computer Science

University of Toronto - Toronto, Canada

2007 - 2008

Technical Degree in Computer Networks

SENAI - Pernambuco, Brazil

OCTOBER 2023 - PRESENT

Advanced Topics in Object-oriented Programming

Coursera

DECEMBER 2013 - PRESENT

English Language Program, Level 60

University of Toronto

DECEMBER 2012 - PRESENT

International Collegiate Programming Contest

ACM

Libraries/APIs

REST API, API Development, Node.js, Beautiful Soup, React.js, Plaid API

Tools

Git, Vim Text Editor, NMap, Metasploit, Kibana, Google Kubernetes Engine (GKE), CircleCI, Terraform, Istio, Jenkins, Amazon Simple Queue Service (SQS), AWS

Languages

Go, Python, C++, JavaScript, Java, Active Server Pages (ASP), PHP, C, Erlang, SQL, Ruby, Clojure, Rust

Paradigms

Microservices Development, REST, Continuous Integration (CI), Object-oriented Programming, Functional Programming, Agile Development, Scrum Master Consulting

Platforms

Linux, Cloud Engineering, Windows Development, MacOS, Burp Suite, AWS, Apache Kafka, Kubernetes, Docker, Visual Studio Development, AWS Lambda

Storage

PostgreSQL, Redis, MongoDB, Datadog, Elasticsearch, MySQL, Database, Database

Frameworks

Django, Laravel, Gorm, Beego, Ruby on Rails, Angular, OAuth, gRPC

Other

Security, Algorithms, Back-end Developers, Distributed Systems Development, Architecture, Software Engineering, OOP Designs, Prometheus, KrakenD, APIs, Monorepos, Data Structures, Operating Systems, Computer Networking, Artificial Intelligence, Applied Mathematics, Graph Theory, Machine Learning, Programming Languages, Freelance Programming, English

Collaboration That Works

How to Work with Toptal

Toptal matches you directly with global industry experts from our network in hours—not weeks or months.

1

Share your needs

Discuss your requirements and refine your scope in a call with a Toptal domain expert.
2

Choose your talent

Get a short list of expertly matched talent within 24 hours to review, interview, and choose from.
3

Start your risk-free talent trial

Work with your chosen talent on a trial basis for up to two weeks. Pay only if you decide to hire them.

Top talent is in high demand.

Start hiring