Smart Contract Auditor (вакансія неактивна)

WE ARE: StartupSoft connects top Ukrainian engineers with world-class startups from Silicon Valley and EU. Our developers work directly on the product as an integral part of the startup team.

PROJECT: Asymptotic uses generative AI to scale formal verification, making software safer and more secure. They specialize in verifying smart contracts within the web3 ecosystem and plan to expand to traditional software. They are a small team tackling blockchain challenges while building automated verification tools.

STACK ON THE PROJECT: Sui, Move, Solidity/EVM, Solana, Cryptography

STAGE: early stage.

TEAM: team of 2 co-founders.

REQUIREMENTS:

• 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.

YOU WILL GET:

• Competitive financial reward and other social benefits;
• Possibility to work with minor supervision and low-bureaucracy;
• Flexible schedule and friendly working atmosphere;
• Tight-knit team with an inclusive and transparent culture.