About Graphify

Graphify is a code-intelligence control plane for the age of AI-written software. We build a live knowledge graph of a codebase, an AI PR-review layer grounded in that graph, and a differential formal verification engine that answers the question tests and LLM reviewers cannot: does this change actually preserve behavior, for every input in the checked domain.
We run on-prem and in air-gapped enterprise environments, where "trust me" loses to "here is the proof." We are a Y Combinator company (S26) with production usage across regulated and large-scale engineering teams.

Coding agents now generate more code than any team can read. The bar has to move from review toward verification. That is the problem this role owns.

The role

You will advance the core of our formal verification engine: the part that takes two versions of a real function (the pre-change version is the specification) and either proves them behaviorally equivalent, produces a concrete distinguishing input, or abstains honestly. You will push sound coverage up across languages,



raise the rate at which we can drive real inputs into real code, and keep every verdict sound by construction.

What you will do
- Develop and improve the differential (relational) verification engine that decides whether an
AI-generated or human change preserves behavior, across Python, Go, Rust, Java, C, C++, TypeScript, and COBOL, using SMT (Z3), property-based differential testing, and trace-carving from a repository's own test suite.
- Formalize the operational semantics of real-world languages for our sound tiers, build verification-condition generation (vcgen) and sound static analyses over the code knowledge graph, and extend the CEGIS and proof-search loops that discharge them.
- Attack the capture-rate problem: design input-synthesis and receiver-construction techniques (feedback-directed generation, call-site mining, constructor synthesis) that feed the unchanged sound oracle, turning honest abstent

📌 Research Engineer, Verified Code Generation (India)
🏢 Graphify Labs (YC S26)
📍 India