Solutions-oriented software engineer with 6 years of experience in distributed systems, blockchain infrastructure, and backend engineering. I design systems with a verification mindset, reasoning adversarially and building software that remains correct under stress. Most of my recent work is in Rust and Go, building high-performance infrastructure for blockchain data verification, distributed services, and cryptographic protocols. Computer Science graduate from the Federal University of Uberlândia. Founder of Bufulink and former engineer at Semiotic working on verification infrastructure for The Graph Protocol.
Full Stack Developer, Inngage - Engajamento de Usuários
Jul, 2019 - Jan, 20206 months
Full-stack development on a web application for managing and scheduling push notifications. Built backend services responsible for orchestrating notification delivery, normalized and maintained SQL databases, improved query performance, and refactored legacy code. Also developed frontend integrations with backend APIs.
Frontend Developer, Getmore
Mar, 2021 - Nov, 20218 months
Developed internal dashboards and monitoring tools used by administrators managing cashback systems for businesses and banks. Built frontend interfaces and mobile web applications using React and TypeScript.
Tech Lead, Equals9
Dec, 2021 - Dec, 20232 years
Led the development of an e-sports tournament management platform where users participated and earned cryptocurrency rewards. Worked across backend services, Solidity smart contracts, and frontend–contract integration.
Designed and implemented distributed backend services in Node.js running on AWS Lambda
Built internal tooling for contract monitoring, liquidation handling, and wallet sponsorship
Designed a secure Ethereum transaction signing system using AWS Nitro Enclaves to protect private keys
Developed token distribution mechanisms and ran game-theoretic simulations to model participant incentives
Released the tournament engine as open source
Smart Contract Software Engineer, Bitboundaire
May, 2022 - Jan, 20238 months
Developed smart contracts and built integrations between on-chain logic and off-chain data sources using Chainlink oracles.
Software Engineer, Semiotic Labs
Jan, 2024 - Feb, 20262 years 1 month
Worked on Veemon, Rust-based infrastructure that validates blockchain data across EVM and non-EVM chains using cryptographic verification. Contributed to systems built on The Graph stack, including subgraphs and substreams.
Developed Rust software verifying the canonicalness and integrity of blockchain data
Worked with The Graph indexing stack including subgraphs and substreams
Built systems that verified off-chain Uniswap pool data on-chain using zero-knowledge proofs
Contributed to a system integrating ODOS to liquidate idle protocol assets into USDC
Founder, Bufulink
Jan, 2020 - Present
Founded and operated a software consultancy building backend systems, smart contract implementations and audits, infrastructure automation, chatbots, and internal tools for clients. Many projects focused on reducing operational overhead by automating manual processes.
Jun, 2023 - Nov, 20235 months
The Self-Sovereign Camera System (SSCS) is an open-source, distributed camera surveillance solution with integrated facial and human detection capabilities.
Final year project at the Federal University of Uberlândia
Jan, 2022 - Feb, 20231 year
A simple usage tournament organizer that uses blossom's algorithm for pairings ranked players.
Solidity
ERC20
ERC721
ERC1155
Chainlink Oracles
The Graph (Subgraphs)
Hardhat
Foundry
Rust
Node.js
PostgreSQL
Redis
gRPC
Serverless (AWS Lambda)
Docker
Podman
Kubernetes
NixOS
Linux
Ethereum Nodes
Chainlink Nodes
Computer Science, Bachelor, UFU - Universidade Federal de Uberlândia
Feb, 2017 - Apr, 2024
Translator, Free Private Cities Inc.
Apr, 2019 - Jun, 2019
Music