Research Engineer, Verified Code Generation
Graphify
Formal verification for AI-generated code. SMT solvers, proof assistants. Posted by the founder.
India · Sep 27, 2026
researchaiengineering
Feature a build or sponsor the directory. DM @pranavmore69
1 research job in India that were actually posted on X, not copied from a board. Location is whatever the original post said.
1 role · updated 2026-09-27
Graphify
Formal verification for AI-generated code. SMT solvers, proof assistants. Posted by the founder.
India · Sep 27, 2026
We are Hiring at @graphify