Location: Remote or San Francisco

Type: Full-Time

Availability: 2-3 hour overlap with Pacific Time.

About Us

Asymptotic is a small, elite team working on scaling formal verification using generative AI. Our ultimate goal is a world where all software infrastructure is secured by comprehensive formal verification. We start with smart contracts in the Sui ecosystem and expand to other blockchains and traditional software. We foster a culture of excellence, moving fast, and approaching the toughest challenges from first principles.

Role Overview

We’re hiring AI engineer with experience wiring LLMs for complex tasks. You will be help design and implement our agents specialized for auditing Sui Move code, writing formal specifications for security properties, and completing proofs using SMT solvers and Lean.

Key Responsibilities

• Develop techniques to help LLMs reason about complex code and security properties
• Context engineering
• Design and evolve our test/evaluation framework
• Optimize for cost and scaling in AI systems deployed for verification and analysis

Qualifications

• LLM & Context Engineering: Expertise with prompt engineering, RAG, and designing AI systems that work with complex data and reasoning.

• Measuring: Familiarity with Weights and Biases Weave or similar tracking and evaluation frameworks.

• Math Excellence: Strong foundation in mathematics (e.g., bachelor's/master's in math/CS, or equivalent via competitive programming/Olympiads/self-study).

• Mindset: Thinking from first principles.

• 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