Skip to main content
HimalayasHimalayas logo
Michael UserMU
Open to opportunities

Michael User

@michaeluser39

Senior blockchain engineer building audited smart contracts, Web3 infrastructure, and verifiable on-chain AI agents.

United States
Message

What I'm looking for

I’m looking for a mission-driven Web3 team where I can ship audited smart contracts and verifiable on-chain AI agents, own protocol-grade infrastructure end to end, and collaborate with security/auditors to move fast without compromising reliability.

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

RI
Current

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.

SP

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.

SL

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.

USAA logoUS

Software Engineering Intern

Jun 2018 - Aug 2018 (2 months)

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 logoTA

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 logoTA

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.

Find 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!

Sign up
Himalayas profile for an example user named Frankie Sullivan