devival

Principal Ai Engineer & Smart Contract Auditor

I build autonomous AI agents and evaluate their security capabilities — then audit the blockchain protocols they interact with.



As a Tier-1 smart contract auditor (Uniswap V4, Reserve Protocol, ABDK Consulting, Oak Security), I have found and reported vulnerabilities in production code securing $1B+ in user funds across 100+ audits. As an AI engineer, I design and measure multi-step LLM agent systems: discovery → adversarial verification → judge-layer scoring against ground-truth vulnerability corpora.



The intersection — AI applied to adversarial security — is where I focus. I built vuln-agent-eval, an open dangerous-capability eval harness measuring how well autonomous LLM agents find real smart-contract vulnerabilities. I hold 8 Anthropic certifications across the full Claude developer stack: Claude API, Claude Code, MCP, Agent Skills, Vertex AI.



Open to: AI security research · LLM agent engineering · frontier red-team / eval work · technical advisory at AI-focused VCs and PE firms.



Experience: 11 years

Yearly salary: $0

Hourly rate: $0

Nationality: 🇬🇧 United Kingdom

Residency: 🇬🇧 United Kingdom


Experience

Founder & Lead AI Security Adviser
AntiRekt
2024 - 2026
Boutique security intelligence firm for VC and private equity clients. Deep-code smart contract auditing, pre-investment protocol resilience evaluation, and post-investment monitoring. Applies LLM-based tooling to accelerate vulnerability triage.
AI/LLMs & Web3 Security Researcher & Auditor
ABDK Consulting
2024 - 2026
Deep security audits of Tier-1 protocols and AI agents. Comprehensive audit reports explaining vulnerabilities to technical and non-technical stakeholders. Adoption of AI-augmented review tooling for smart contract analysis.
Lead Security Researcher & Auditor
Oak Security
2024 - 2026
Lead manual security reviews of Tier-1 protocols in Solidity, Rust, Golang, Cairo. Critical-vulnerability and design-flaw reporting. Mitigation coordination with development teams.
Blockchain Auditor & Security Researcher
Code4rena
2022 - 2026
Competitive smart-contract audits. Adversarial reasoning shaped the discover → verify → judge architecture open-sourced as vuln-agent-eval. Secured multimillion assets by auditing smart contracts following the highest security industry standards.

Skills

ai
blockchain-engineer
cryptography
ethereum
evm
machine-learning
python
research
rust
security
smart-contract
solidity
english
polish
russian
ukrainian