Вакансия Senior AI/Context Engineer

Skills

• RAG
• W&B Weave
• Sui Move
• MLOps

Описание вакансии

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.

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