Michael User
@michaeluser39
Senior blockchain engineer building audited smart contracts, Web3 infrastructure, and verifiable on-chain AI agents.
What I'm looking for
I’m a Senior Blockchain Engineer with 7+ years of post-graduate experience building production smart contracts, Web3 infrastructure, and on-chain AI agent systems for venture-backed US startups. I focus on end-to-end delivery—from audited contracts to backend services and full-stack dApps—so inference and autonomous actions can reliably transact on-chain.
At Ritual (Aug 2023–Present), I’ve contributed to Infernet (an AI oracle and coprocessor for smart contracts) and Ritual Chain, including Rust-based job-queue and on-chain Infernet SDK Solidity contracts (BaseConsumer, CallbackConsumer, SubscriptionConsumer). My work improved p99 callback latency from ~6.2s to ~1.7s, and I shipped a v1.2 release with one-shot delegated subscriptions for gasless agent invocations.
I also co-implemented Ritual Chain precompiles (INFERENCE and VERIFY_PROOF) to call open-source LLMs (Llama 3.1, Mistral, Qwen) and ZK-ML verifiers directly inside EVM transactions. In Go, I built the async execution scheduler bridging synchronous EVM calls to asynchronous GPU inference workers using a Postgres-backed durable queue with idempotency keys for exactly-one on-chain callbacks per tx hash.
Previously at SpruceID (Sep 2021–Jul 2023), I worked on Sign-In with Ethereum (EIP-4361) reference implementations and SDKs, plus decentralized-identity infrastructure including Kepler (Rust + UCAN authorization). Earlier, at Set Labs / TokenSets (Jul 2019–Aug 2021), I authored modular Solidity smart contract components for Set Protocol V2 and helped launch the TokenSets dApp and DeFi Pulse Index.
Experience
Work history, roles, and key accomplishments
Senior Blockchain Engineer
Ritual
Aug 2023 - Present (2 years 9 months)
Contributed to Infernet Node and SDK, refactoring a Rust job queue that cut p99 callback latency from ~6.2s to ~1.7s under sustained load. Built Solidity consumers and ERC-4337 authorization flows with Foundry fuzzing/static analysis (97% branch coverage) and shipped v1.2 with gasless one-shot delegated subscriptions.
Senior Blockchain Engineer
SpruceID
Sep 2021 - Jul 2023 (1 year 10 months)
Helped build SpruceKit and the EIP-4361 reference server libraries (TypeScript and Rust), shipping v2 with EIP-6492 support for pre-deployed counterfactual smart accounts. Extended the standard to support Sign-In with Solana (CAIP-122) with Ed25519 signatures and versioned nonces, and built a conformance suite covering 40+ edge cases to prevent authentication bypasses.
Smart Contract Engineer
Set Labs
Jul 2019 - Aug 2021 (2 years 1 month)
Authored modular Set Protocol V2 Solidity components (e.g., StreamingFeeModule, AirdropModule, Uniswap V3 TradeModule) and delivered tests with ~95% line coverage plus mainnet-fork integrations to catch breaking upstream changes early. Optimized Set rebalance execution for DPI/Buys-and-Hold, reducing average per-rebalance gas cost by ~38% during 2020–2021 gas spikes.
Built a Spring Boot microservice for bank digital channels that exposed account-summary data to a redesigned mobile app with JWT-based authentication (PingFederate SSO) and automated integration tests. Migrated a legacy on-prem batch job to AWS (S3, Lambda, Step Functions), cutting nightly reconciliation runtime from ~3 hours to ~22 minutes.
Education
Degrees, certifications, and relevant coursework
The University of Texas at Austin
Master of Science in Computer Science, Computer Science
2017 - 2019
Completed a Master of Science in Computer Science at The University of Texas at Austin.
The University of Texas at Austin
Bachelor of Science in Computer Science, Computer Science
2013 - 2017
Completed a Bachelor of Science in Computer Science at The University of Texas at Austin.
Tech stack
Software and tools used professionally
Blockchain
Ethereum
IPFS
GitHub
GitLab
Kubernetes
GitHub Actions
GitLab CI
React Native
NumPy
Pandas
MySQL
PostgreSQL
MongoDB
Gmail
Node.js
Django
Spring Boot
Next.js
NestJS
ZK
Redis
Terraform
JavaScript
Java
Kafka
RabbitMQ
FastAPI
Fastify
Grafana
Prometheus
OpenTelemetry
Datadog
GraphQL
gRPC
JUnit
sso
s3-lambda
REST Assured
TimescaleDB
SQL
Ethers.js
Clickhouse
Coinbase
Qdrant
LangChain
LlamaIndex
Weaviate
Shadcn/ui
AutoGen
Foundry
Dune Analytics
The Graph
Pinecone
CrewAI
Akash Network
Hardhat
vLLM
Infura
Arweave
Lit Protocol
Privy
Truffle
Filecoin
Wagmi
Chainlink
Lit
ArgoCD
Web3.js
Trunk
Arbitrum
Solana
Haystack
Optimism
Viem
Testcontainers
EigenLayer
Bittensor
Avalanche
Cosmos
Scroll
SpruceID
WalletConnect
Anvil
pgvector
Hyperlane
Agentic
Mythril
LangGraph
Wormhole
LayerZero
Polygon
RainbowKit
Biconomy
Subsquid
Axelar
Tenderly
Make
Vyper
Pimlico
OpenRouter
Tally
Goldsky
SGLang
Qwen
Dynamic
AgentKit
Middleware
Eliza
Turnkey
Linea
Durable
Jito
Matrix
Safe
Kepler
Nillion
X++
Availability
Location
Authorized to work in
Job categories
Skills
Interested in hiring Michael?
You can contact Michael and 90k+ other talented remote workers on Himalayas.
Message MichaelFind your dream job
Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
