Location: New Delhi / Hybrid / Remote
Type: Full-time
Company: Cerify
Cerify is an IIT Delhi deep-tech startup building an AI-powered platform that helps developers find and prevent vulnerabilities in smart contracts and critical software.
We are looking for a hands-on Technical Lead to help build and scale our core verification engine. This is an opportunity to work at the intersection of AI, cybersecurity, formal verification, and blockchain technology.
What you'll do:
- Lead the development of Cerify's core security and verification engine.
- Build tools that analyse code, identify vulnerabilities, and generate clear security reports.
- Work with symbolic execution, formal methods, program analysis, and AI-assisted workflows.
- Improve engine speed, accuracy, scalability, and reliability.
- Help integrate the engine into APIs, CLI tools, CI/CD workflows, and the Cerify SaaS platform.
- Collaborate closely with IIT Delhi researchers, product teams, and early customers.
- Mentor engineers and help shape Cerify's technical roadmap and engineering culture.
Essential Skills:
- Strong software engineering and system-design skills.
- Experience with at least one of the systems programming languages such as C, C++, Rust, Go or a similar language.
- Knowledge of LLVM or any other compiler framework
- Knowledge of program and data flow analysis
- Interest of experience in at least one of the followings: Cybersecurity, Formal Verification, Web3/Blockchain
- Desire and drive to solve difficult technical and engineering problems and taking ownership from concept to production
Nice to have Skills
- Familiarity with Solidity, EVM, smart contracts, or security tooling is a strong advantage, but not mandatory.
- Familiarity with AI assisted software engineering, developing domain specific skills/agents
- Familiarity with one or more of the followings: symbolic execution, model checking, theorem provers, constraint solvers (i.e., Z3)
- A team-oriented builder who wants to g
📌 Technical Lead (Delhi)
🏢 Cerify
📍 Delhi