07/27/2025 updated
SF
100 % available
Smart Contract Engineer & Security Researcher
Brooklyn, USA
Worldwide
Bachelor of Science in Commerce (4 years)HTMLJavaScriptArchitectureAuditingUnit TestingCascading Style Sheets (CSS)DatabasesData ManagementWeb DevelopmentFormal VerificationFuzz TestingPython (Programming Language)PostgreSQLMongoDBMoulder
Smart Contract Development
Expertise in developing and securing blockchain protocols, specializing in smart contract architecture, optimization, and auditing for startups.
Security Testing and Verification
Proficiency in implementing rigorous testing methodologies including fuzzing, unit testing, integration testing, and formal verification for smart contract reliability and security.
Blockchain Protocol Integration
Experience in developing cross-chain protocols, integrating various blockchain technologies, and creating tokenization platforms for real-world assets.
Programming Languages
Proficiency in Solidity, JavaScript, Yul, Go, Python, HTML, and CSS for blockchain and web development.
Tools & Frameworks
Expertise in using Hardhat, Foundry, Ethers.js, The Graph, and Node.js for blockchain development and testing.
Security & Formal Verification
Skilled in using Slither, Mythx/Mythril, Forge, Securify, and Certora for smart contract security analysis and formal verification.
Cloud Services & Databases
Experience with Mongo DB Atlas, Postgre SQL, and Google Cloud for data management and cloud services in blockchain projects.
Expertise in developing and securing blockchain protocols, specializing in smart contract architecture, optimization, and auditing for startups.
Security Testing and Verification
Proficiency in implementing rigorous testing methodologies including fuzzing, unit testing, integration testing, and formal verification for smart contract reliability and security.
Blockchain Protocol Integration
Experience in developing cross-chain protocols, integrating various blockchain technologies, and creating tokenization platforms for real-world assets.
Programming Languages
Proficiency in Solidity, JavaScript, Yul, Go, Python, HTML, and CSS for blockchain and web development.
Tools & Frameworks
Expertise in using Hardhat, Foundry, Ethers.js, The Graph, and Node.js for blockchain development and testing.
Security & Formal Verification
Skilled in using Slither, Mythx/Mythril, Forge, Securify, and Certora for smart contract security analysis and formal verification.
Cloud Services & Databases
Experience with Mongo DB Atlas, Postgre SQL, and Google Cloud for data management and cloud services in blockchain projects.
Languages
EnglishFluent
Project history
Developed an automated cross-chain protocol for venues tokenization, optimized gas efficiency, and achieved 100% test coverage for smart contracts.
Developed smart contracts for real-world asset tokenization, implemented rigorous testing, and built custodial wallets for fractionalized NFTs.