Location: Remote or San Francisco

Type: Full-Time

Availability: Globally, assuming 2-3 hour overlap with Pacific Time

About Us

Asymptotic is a small, elite team scaling formal verification with generative AI, aiming for a world where all software infrastructure is fully verified. We start with Sui ecosystem smart contracts, expanding to other blockchains and traditional software. We prioritize excellence, speed, and first-principles problem-solving.

Role Overview

We are seeking a Principal Smart Contract Auditor with a strong math background and analytical skills. You will audit smart contracts, focusing on platforms like Sui, to ensure correctness and security.

Key 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.
• Mentor junior team members on auditing best practices.

Qualifications

• Deep Auditing Expertise: 5+ years auditing smart contracts, with a portfolio of identified vulnerabilities in production code.

• Mindset: Detail-oriented, committed to security, and eager to learn new tools and methods.

• Move (preferred but not required): Experience with Sui Move is highly valued but not required.

Why Join Us?

• Join a small team with a culture of excellence.
• Work directly with founders on high-impact projects.
• Shape the future of software verification and blockchain security.
• Equity in a fast-growing AI-blockchain startup.

The Fine Print

• Benefits: Competitive compensation package starting at $150k+ depending on experience and location, including equity, flexible work arrangements, unlimited PTO, and comprehensive health benefits.
• Equal Opportunity: Asymptotic is an equal opportunity employer focused on merit and excellence. We value trustworthiness and job performance, and we prohibit discrimination based on race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, disability status, or any other factor irrelevant to your work.

How to apply?

Please DO NOT contact us directly. Instead, have someone you've worked closely with recommend you. If we hire you and you stay with us for at least 6 months, the person who recommended you will receive $10k.

Sorry for the extra step, but it helps us filter candidates, and someone who values your work gets rewarded. It's a win-win.

Only for referrals: [email protected]

See our other open positions:

Principal Smart Contract Auditor

Formal Verification Infra Engineer

Senior AI/Context Engineer

Formal Verification Engineer