Renan Almeida de Miranda Santos, Developer in Rio de Janeiro - State of Rio de Janeiro, Brazil
Renan is available for hire
Hire Renan

Renan Almeida de Miranda Santos

Verified Expert  in Engineering

Software Developer

Location
Rio de Janeiro - State of Rio de Janeiro, Brazil
Toptal Member Since
December 2, 2021

Renan is a software developer with seven years of business and research experience, now focusing mainly on back-end development. He has developed REST APIs in Go and other projects using languages and frameworks such as Java, OCaml, Haskell, Lua, Swift, Node.js, Angular, and React. Renan's experience is backed by a bachelor's and master's degree in computer science and a PhD and internship at IBM in progress.

Portfolio

IBM
Java, OWL API, Protégé, Automated Testing, Unit Testing, Integration Testing...
Storm Group
Swift, Objective-C, iOS, Automated Testing, Unit Testing, Integration Testing...

Experience

Availability

Part-time

Preferred Environment

Linux, MacOS, Slack

The most amazing...

...project I've developed was a web API that was fully tested from top to bottom. The project had few to no bugs and was a joy to maintain.

Work Experience

PhD Research Intern

2021 - PRESENT
IBM
  • Researched topics on machine learning and ontology management.
  • Developed algorithms for ontology graph comparison.
  • Refactored and rewrote legacy code in Java and implemented automated tests.
Technologies: Java, OWL API, Protégé, Automated Testing, Unit Testing, Integration Testing, Algorithms, Machine Learning

Researcher

2018 - 2021
Tecgraf
  • Maintained an app that automates industrial processes on an oil platform.
  • Produced a technical report detailing the specifications for new concurrency-related functionalities.
  • Refactored undocumented legacy code that was 20 years old.
Technologies: Lua

Senior iOS Developer

2017 - 2018
Storm Group
  • Worked on the Globoplay iOS app, which streams content from one of the major television networks in Brazil.
  • Created and managed automated unit and integrations test for a native iOS app.
  • Oversaw deployment processes that affected millions of users.
Technologies: Swift, Objective-C, iOS, Automated Testing, Unit Testing, Integration Testing, Mobile Apps

Co-founder and Full-stack Developer

2015 - 2017
Carioca Build
  • Developed an iOS app that gamifies language learning for teens.
  • Developed several REST APIs and basic websites for different types of companies and businesses.
  • Provided consulting expertise to companies on software development and code architecture.
Technologies: JavaScript, Angular, React, Go, Swift, iOS, Gamification, REST APIs, SQL, PostgreSQL, MySQL, APIs, Relational Databases

Aria Language

https://github.com/renan061/aria
A programming language built with safe concurrency and parallelism in mind. Aria uses built-in monitors as the only way to share mutable data between threads. The implementation uses standard tools and libraries, such as Lex (Flex), Yacc (Bison), LLVM (LLVM-C API), and POSIX threads.

Globoplay

https://globoplay.globo.com
An iOS app that streams content from TV Globo to millions of users. Globo is a major television network in Brazil. I maintained the application and added functionalities in collaboration with a team of up to five developers.

Elo Language

https://github.com/renan061/elo-coq
A programming language project written in Coq, OCaml, and Haskell. Elo is the byproduct of my PhD research thesis involving safety in concurrent programming languages and formal proofs. It uses Coq to define a language's semantics and type system and prove that Elo does not allow data races to occur.
2020 - 2021

PhD (in Progress) in Computer Science

Pontifical Catholic University of Rio de Janeiro - Rio de Janeiro, Brazil

2018 - 2020

Master's Degree in Computer Science

Pontifical Catholic University of Rio de Janeiro - Rio de Janeiro, Brazil

2012 - 2017

Bachelor's Degree in Computer Science

Pontifical Catholic University of Rio de Janeiro - Rio de Janeiro, Brazil

Libraries/APIs

OWL API, React, REST APIs

Tools

Slack, Protégé

Paradigms

Functional Programming, Automated Testing, Unit Testing, Gamification

Platforms

MacOS, Linux, iOS

Languages

Lua, Go, Coq, Haskell, JavaScript, C, SQL, OCaml, Elm, Scala, Swift, Objective-C, Java, Agda

Storage

PostgreSQL, MySQL, Relational Databases

Frameworks

Angular

Other

Software Development, Compilers, Algorithms, Concurrency, APIs, LLVM, Integration Testing, Mobile Apps, Machine Learning

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