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
Renan is a software engineer with over ten years of industry and research experience, specializing in backend systems ranging from REST APIs and AI infrastructure to blockchain nodes. He also has a strong background in programming language design and formal verification. His experience is backed by a bachelor's, master's, and PhD in computer science. He is passionate about Go, Rust, blockchain technology, and programming language research.
Portfolio
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
Work Experience
Senior Software Engineer
ZetaChain
- Implemented reliability features for ZetaChain, including chaos engineering tests to validate system behavior under failure conditions and a read-only mode that preserves query availability while disabling state-changing operations.
- Built Anuma, a privacy-first consumer AI platform integrated with ZetaChain’s blockchain ecosystem.
- Developed core infrastructure including the AI harness, MCP servers, account services, and content moderation powered by PhotoDNA.
Senior Blockchain Engineer
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.
Researcher
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.
Researcher
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.
Senior iOS Developer
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.
Full-stack Developer
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.
Project History
Globoplay
https://globoplay.globo.comElo Language
https://github.com/renan061/elo-coqAria Language
https://github.com/renan061/ariaCartesi Rollups Node
https://github.com/cartesi/rollups-nodeEducation
Ph.D. Degree in Computer Science
Pontifical Catholic University of Rio de Janeiro - Rio de Janeiro, Brazil
Master's Degree in Computer Science
Pontifical Catholic University of Rio de Janeiro - Rio de Janeiro, Brazil
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, OpenAI API
Tools
GitHub, 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, Model Context Protocol (MCP)
Platforms
MacOS, Ethereum, Linux, iOS, Docker
Storage
PostgreSQL, MySQL, Relational Databases, Redis
Frameworks
Angular
Other
Software Development, Compilers, Back-end, Algorithms, Concurrency, APIs, Open Source, LLVM, Integration Testing, Mobile Apps, Machine Learning, Yacc, API Design, Bifrost API
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
Choose your talent
Start your risk-free talent trial
Top talent is in high demand.
Start hiring