ABOUT CLIENT They use 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. TECH STACK Sui, Move, Solidity/EVM, Solana, Cryptography
PROJECT STAGE
Early stage QUALIFICATIONS AND SKILLS * 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 math background, with a history of excelling in school, university, or equivalent experience. * Mindset: Thinking from first principles. * Must have an understanding of what MCP and MLOps are and be aware of industry developments over the past 2–3 years
NICE TO HAVE * Move: Experience with Sui Move is highly valued but not required. * Join a small, elite team with a culture of excellence. * Work on the cutting edge of program analysis, AI, and blockchain security. Shape the future of software verification and security.
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
