henry613

Blockchain Architect & Protocol Engineer

 Blockchain architect and protocol engineer with 5+ years building secure DeFi protocols 
  and smart contracts. Programming since age 12, I specialize in Solidity development, 
  formal verification, and EVM optimization. Recently architected derivatives trading 
  protocols, P2P insurance systems, and real-time multiplayer game engines using 
  Elixir/Phoenix.

  Background spans traditional quantitative finance to cutting-edge blockchain 
  development, with proven experience leading distributed teams across multiple cultures 
  and time zones. Passionate about functional programming principles and clean development
   workflows.

  Seeking senior protocol engineering roles at DeFi protocols, L1/L2 blockchain projects, 
  or web3 infrastructure companies where I can architect secure, scalable systems and lead
   technical teams.


Experience: 11 years

Yearly salary: $250,000

Hourly rate: $140

Nationality: 🇧🇷 Brazil

Residency: 🇮🇱 Israel


Experience

CTO
Spin Gaming
2025 - 2025
Designed high-performance FSM game engine for real-time multiplayer at scale; Architected low-latency systems using Elixir/Phoenix with WebSockets; Applied CQRS pattern to optimize data flow and system responsiveness
Blockchain Architect
The Tinkering Society
2022 - 2025
Wrote pool and trading match engine contracts for derivatives protocol; Performed self-audit, fuzz-testing, and EVM gas optimization; Integrated Oracle systems and created audit workflows; Conducted bytecode inspection and Yul optimizations
Blockchain Architect
Fuse
2021 - 2022
L2 research and architecture: Arbitrum AVM, Optimism deployment; Go development for blockchain infrastructure and smart contracts
Founder & CTO
InsurDAO
2020 - 2025
Developed P2P insurance protocol with automated actuarial algorithms; Built claim management back-office and DeFi liquidity pool integration; Created Ethereum EVM-compatible smart contracts
VP R&D, Co-founder
WEEL
2015 - 2020
Led full-stack architecture using Elixir/Erlang and Angular; Developed ETL workflows and data warehouses for real-time analytics; Designed microservices with GraphQL APIs and CI/CD automation
Head of Quantitative Trading
SLW Corretora
2010 - 2012
Developed trading strategies and options pricing platform for structured products; Built ATS implementation using C#, C++, and Java
Quantitative Trader & Developer
Banco Daycoval
2009 - 2010
Implemented quantitative trading strategies using CEP Apama and C# OpenQuant platforms; Developed execution strategies for pair trading with Bovespa co-location deployment

Skills

elixir
erlang
evm
rust
solidity
english
portuguese
spanish