Search Results for: halmos

2 Top Web3 Halmos Experts for Hire . Browse and contact them below.

Trusted by World's leading Web3 Companies:

Showing 2 profiles out of 2. Page 1 of 1.
• 

  Solidity Developer | Smart Contract Engineer

  AvailableSign in to see ratesActive over a week agoBrazil

  HalmosSolidityFoundryUnit testFuzz testHardhatSlitherAderynCertoraPython

  Former aerospace engineer and data scientist now working as a smart contract developer. I believe that my engineering background and my math, logic, and analytical skills give me an excellent fit for tasks and activities involving attention to detail, mathematical modeling, programming logic, and pr
• Web3 Security Researcher | Smart Contract Engineer | EVM Expert

  AvailableSign in to see ratesActive 5 days ago

  HalmosSolidityCertoraFoundryHardhatHuffzkSyncEIPsFuzzingSlither

  I build and break smart contracts with precision. With 4+ years in Solidity, formal verification (Certora, Halmos), and live audits (Code4rena, Sherlock, CodeHawks), I bring deep EVM knowledge and production-grade engineering. From multisig wallets to staking systems and zk integrations, I design se

Showing 2 Web3 Halmos Experts profiles out of 2+
Subscribe to Talent List to access them all

Subscribe to Talent List

Trusted by World's leading Web3 Companies: