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

Rio de Janeiro - State of Rio de Janeiro, Brazil

Toptal member since December 2, 2021

Expertise
Software DevelopmentBack-end DevelopersGolangLuaHaskellRustAlgorithmsCPostgreSQLMacOSSQLMySQLJavaScriptEthereumOCaml
Bio

Renan is a software developer with seven years of business and research experience. He specializes in developing backend systems, programming languages, and formal proofs. He is enthusiastic about backend development and programming languages. Renan's experience is backed by a bachelor's, master's, and PhD degree in computer science.

Portfolio

Cartesi
Ethereum, Rust, Go, PostgreSQL, Redis, Docker, Back-end, Software Development...
IBM
Java, OWL API, Protégé, Automated Testing, Unit Testing, Integration Testing...
Tecgraf
Lua

Experience

  • Compilers - 9 years
  • SQL - 6 years
  • Go - 5 years
  • Functional Programming - 5 years
  • JavaScript - 4 years
  • Ethereum - 3 years
  • Swift - 3 years
  • Rust - 3 years

Availability

Full-time

Preferred Environment

Linux, MacOS, Slack

The most amazing...

...project I've developed was a compiler for a concurrent programming language.

Work Experience

Senior Blockchain Engineer

2022 - 2024
Cartesi
  • Worked on the Cartesi Rollups, an execution layer for Ethereum.
  • Designed and developed parts of the Cartesi Rollups Node, an off-chain back end written in Rust and Go.
  • Designed the SQL database for the Cartesi Rollups Node.
  • Oversaw the migration of the Cartesi Rollups Node from Rust to Go.
Technologies: Ethereum, Rust, Go, PostgreSQL, Redis, Docker, Back-end, Software Development, Algorithms

Researcher

2021 - 2022
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, Software Development

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, Software Development

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, Software Development, Back-end

Experience

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

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.

Education

2020 - 2025

Ph.D. Degree 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

Skills

Libraries/APIs

OWL API, React, REST APIs

Tools

Slack, Protégé, Amazon Lex

Languages

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

Paradigms

Functional Programming, Automated Testing, Unit Testing, Gamification

Platforms

MacOS, Ethereum, Linux, iOS, Docker

Storage

PostgreSQL, MySQL, Relational Databases, Redis

Frameworks

Angular

Other

Software Development, Compilers, Back-end, Algorithms, Concurrency, APIs, LLVM, Integration Testing, Mobile Apps, Machine Learning, Yacc

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