Smart Contract Auditor to $8000

The company leverages generative AI to scale formal verification, enhancing software safety and security. While currently focused on verifying smart contracts in the web3 ecosystem, the company aims to expand into traditional software as well. As a team, it is addressing blockchain-related challenges and developing automated verification tools.

TECH STACK

Sui, Move, Solidity/EVM, Solana, Cryptography

TEAM COMPOSITION

Team of 5 specialists

PROJECT STAGE

Early stage

QUALIFICATIONS AND SKILLS

• Math Excellence: Strong math background, with a history of excelling in school or university.
• Web3 Experience: Development or auditing experience with Sui and Move (preferred). Experience with Solana or Solidity/EVM is also valuable.
• Technical Skills: Proficiency in smart contract languages (Move or Solidity preferred) and blockchain technologies.
• Mindset: Detail-oriented, committed to security, and eager to learn.

NICE TO HAVE

• Familiarity with auditing tools, formal verification methods, cryptography, and secure coding practices.
• Experience with Sui Move.
  
  RESPONSIBILITIES
• Audit smart contracts, focusing on Sui and Move, to identify vulnerabilities.
• Validate code for functionality, security, and adherence to specifications.
• Write clear, actionable audit reports.
• Collaborate with clients to resolve issues.
• Use math expertise to solve problems systematically.
• Contribute to improving our AI-powered auditing tools.