over 1 year ago
Remote, United States or New York, NY, USAIntern
Responsibilities
- Collaborate with the blockchain security team to design and implement an LLM-based AI agent for security audit tools.
- Experiment with AI techniques to improve threat detection and risk assessment in blockchain environments.
- Translate AI-agent research into practical and scalable security auditing solutions.
- Research trends in LLMs, AI-agent architectures, and cybersecurity and propose improvements.
Requirements
- Currently pursuing or recently completed a PhD in artificial intelligence, computer science, or a related field with emphasis on machine learning, natural language processing, and/or cybersecurity.
- Deep understanding of LLM architectures such as transformers and hands-on experience training or fine-tuning models.
- Proficiency in Python and experience with PyTorch or TensorFlow.
- Basic familiarity with blockchain technology and smart contract development is a plus.
- Strong analytical, problem-solving, written communication, and verbal communication skills in English.
- Prior research or project experience with AI agents or automated security analysis tools is a bonus.
- Exposure to security audit methodologies and vulnerability assessment, particularly for blockchain or smart contract environments, is a bonus.
- Familiarity with Solidity and Ethereum is a bonus.
- Publications or contributions to leading AI, NLP, or cybersecurity conferences or journals are a bonus.
- Ability to translate research insights into production-ready tools is a bonus.
Benefits
- Target monthly salary of $6,000–$8,000 for work performed in the United States.
- CertiK offers medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, and holidays to full-time employees.
- Applications are accepted on an ongoing basis.
Categories
About CertiK
CertiK provides blockchain security products and services for Web3 teams, including smart-contract auditing, formal verification, and continuous on-chain monitoring (Skynet). It monetizes through audits, monitoring subscriptions, and related security engagements for protocols, exchanges, and infrastructure providers. Founded in 2018 and headquartered in New York, the privately held company is known for bringing academic formal methods to production smart contracts.