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

Back-end Developer

São Paulo - State of São Paulo, Brazil
Toptal Member Since
August 23, 2018

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.


Go, PostgreSQL, Microservices, Architecture, AWS Lambda, API Development...
InVision App - Main
Go, PostgreSQL, OAuth 2, gRPC
Go, PostgreSQL, Redis, Apache Kafka, MongoDB, Microservices, Docker, Back-end




Preferred Environment

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

The most amazing... 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
  • 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, Architecture, AWS Lambda, API Development, Amazon Simple Queue Service (SQS), Amazon Simple Notification Service (Amazon SNS), 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 2, gRPC

Senior Software Engineer

2020 - 2021
  • 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, Docker, Back-end

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: Amazon Web Services (AWS), Microservices, APIs, Docker, KrakenD, Kubernetes, PostgreSQL, Beego, Gorm, Go, Back-end

Software Engineer

2018 - 2019
  • 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 APIs, Monorepos, Istio, Terraform, Docker, CircleCI, Kubernetes, Google Kubernetes Engine (GKE), Google Cloud Platform (GCP), Go, JavaScript, Python, Back-end

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

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

2015 - 2015
Manifesto Games
  • Developed a RESTful API for a quiz game using PHP and Laravel.
  • Created a few game interfaces using Cocos2D and JavaScript.
Technologies: Laravel, JavaScript, PHP, Back-end

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

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 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
This app uses data from (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
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
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.

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
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
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


Advanced Topics in Object Orienting Programming



English Language Program, Level 60

University of Toronto


International Collegiate Programming Contest



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


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


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


Microservices, REST, Continuous Integration (CI), Object-oriented Programming (OOP), Functional Programming, Continuous Delivery (CD), Scrum


Linux, Google Cloud Platform (GCP), Windows, MacOS, Burp Suite, Amazon Web Services (AWS), Apache Kafka, Kubernetes, Docker, Visual Studio Code (VS Code), AWS Lambda


PostgreSQL, Redis, MongoDB, Datadog, Elasticsearch, MySQL, Databases, Database Management Systems (DBMS)


Django, Laravel, Gorm, Beego, Ruby on Rails (RoR), Angular, OAuth 2, gRPC


Security, Algorithms, Back-end, Distributed Systems, Architecture, Software Engineering, OOP Designs, Prometheus, KrakenD, APIs, Monorepos, Data Structures, Operating Systems, Computer Networking, Artificial Intelligence (AI), Applied Mathematics, Graph Theory, Machine Learning, Programming Languages, 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.


Share your needs

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

Choose your talent

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

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