Best X Builds
← All open roles

Graphify

Research Engineer, Verified Code Generation

Formal verification for AI-generated code. SMT solvers, proof assistants. Posted by the founder.

India ·

Related roles

Designer

Design

Graphify

Designer. Reply with a portfolio. Posted by product and AI at Graphify.

@raihankhan_rk

Buffer

Lead security engineer. $171,100 to $222,880 plus equity.

Remote, UTC-3 to UTC+3@hailleymari