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 prospect 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 robust 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 collaborative builder who wants to grow with an ambitious early-stage

📌 Technical Lead (India)
🏢 Cerify
📍 India