Asymptotic

We’re looking for a Senior Blockchain Auditor specializing in Sui Move smart contracts. You’ll work on audits and verification of on-chain code using tools like Sui Prover and other formal verification frameworks, while also contributing to the development and improvement of our AI-assisted auditing and verification tools.

We’ll fully support your growth — providing onboarding, mentorship, and hands-on training in formal verification methods, Move language, and AI-assisted workflows.
 

Responsibilities

• Audit and verify Sui Move and Rust smart contracts.
• Apply formal verification techniques to ensure correctness and security.
• Use and help improve AI-assisted verification tools that enhance the audit process.
• Collaborate with developers and researchers to integrate formal methods into blockchain auditing.
• Contribute to internal standards and best practices for smart contract verification.
   

Required Experience & Skills

• 4+ years of experience in blockchain development, smart contract auditing, or security engineering (Move or Rust preferred).
• Proficiency with testing and verification frameworks (unit, integration, and/or formal methods).
• Strong analytical thinking and a passion for precision and security.
• Motivation to learn and work at the intersection of blockchain, formal verification, and AI automation.
   

Nice to Have

• Experience with Sui Prover, or similar formal verification tools.
• Familiarity with Sui Move ecosystem and smart contract design patterns.
• Interest in AI-assisted code analysis or LLM-based development tools.
   

Why Join Us

• Work on cutting-edge blockchain security and formal verification challenges.
• Use and help shape AI-driven tools for smarter and faster auditing.
• Get strong support and mentorship as you develop expertise in Move and formal methods.
• Join a fast-growing, research-driven team with room for professional growth.
• Enjoy a remote-friendly culture with flexible hours and an optional hybrid workspace.