Francisco Miranda

São Paulo · Software / AI / Protocols

Francisco Miranda

Software developer working across AI, decentralized systems, and applied statistics.

I build software, smart contracts, and research tools. I co-founded Mindsend Datatech, and I am pursuing a Master's in Computer Science at ICMC-USP focused on information security and zero-knowledge cryptography.

Away from work, I play guitar—especially samba and choro—and like travelling, hiking, and spending time outdoors. I care about open knowledge, so most of my code and teaching material is public.

Experience

Software Consultant & Co-Founder

Mindsend Datatech ↗

Co-founded Mindsend to build software and infrastructure for decentralized systems.

  • Kadena Cabinet: built the governance incentive protocol and its supporting application. The protocol reached the leading TVL position on Kadena and sustained participation above 90%.
  • snaK: maintain a non-custodial MetaMask Snap that brings Kadena account management, Chainweb transfers, network switching, and testnet utilities into MetaMask.
  • Work across Pact smart contracts, TypeScript interfaces and integrations, and C# analytics for protocol operations.
PactTypeScriptC#KadenaMetaMask Snaps

Smart Contract Developer

eckoDAO

Contributed full-stack and smart contract development to eckoDEX, a decentralized exchange on Kadena.

  • Developed Pact smart-contract functionality and its integration with the web application.
  • Worked on an algorithmic liquidity-mining multiplier intended to adjust pool incentives over time.
  • Used geometric Brownian-motion simulations and sigmoid tuning to study reward behavior and impermanent-loss conditions.
PactTypeScriptPythonRDeFi

English Instructor

New Life Language School

Taught English to students of different ages and proficiency levels.

  • Planned curricula and classroom activities for each student group.
  • Adapted lessons to different learning stages while maintaining clear progression across the course.

Full-Stack Developer

Plastcomp

Developed and maintained the company's online store for plastic products.

  • Handled full-stack implementation across the storefront, application logic, and database-backed product information.
  • Maintained the application over several years, delivering content changes, fixes, and incremental improvements.
JavaScriptPHPSQLLinux

Educational Developer

Colégio N. S. do Morumbi

Combined web development with classroom teaching in a school environment.

  • Developed and maintained the school's website.
  • Taught practical information-technology classes.

IT Intern

Fundação do Desenvolvimento Administrativo

Supported the IT department of a public-sector administrative development foundation.

  • Provided administrative support to the department and assisted its day-to-day operations.

Education

Master's in Computer Science

ICMC-USP

Researching zero-knowledge SQL databases.

  • Research focus at the intersection of database systems, information security, and zero-knowledge cryptography.
ZK SQLDatabasesInformation security

MBA in Software Engineering

ESALQ-USP

Applied software architecture to decentralized-finance infrastructure.

  • Thesis: Microservices Communication for Liquidity Monitoring in DeFi Protocols.
  • Developed SagaIndexer, an event-driven microservices system for monitoring Uniswap V3 concentrated-liquidity pools.
SagaIndexerMicroservicesDistributed systemsDeFi

Bachelor's in Statistics and Data Science

ICMC-USP

Academic training in statistics, data science, and applied computation.

  • Served as a teaching assistant for Exploratory Data Analysis (EDA).
  • Received an Honorable Mention at the 30th SIICUSP (USP), 2022.
StatisticsEDAData science

Selected tools

Software & contracts

RustSolidityPactTypeScriptPythonCircomC#C

Data & AI

PythonRStatistical modellingMachine learningTime seriesNLPTechnical writing

Infrastructure

LinuxBashPostgreSQLDockerGitMicroservices

Languages

Portuguese — nativeEnglish — B2 TOEFL-ITPSpanish — basic