Founding Engineer - Lean4, VC-funded startup (Bay Area)

Stream: job postings

[Krishnan Raghavan]

We're an early-stage, venture-backed startup on a mission to redefine how the world trusts AI systems.

We believe that formal verification will become a foundational layer across industries, not just for compilers or critical infrastructure, but for everything that AI touches. As models grow more capable and opaque, the need for provable correctness has become more urgent. We're building the platform to make formal verification a core part of the AI loop.

We're looking for exceptional engineers and researchers who are fluent in Lean4 and want to help push the boundaries of what verified reasoning systems can do in practice. This is a founding engineer role, you'll be joining a world-class team from Stanford, IITs, Google, DeepMind, and Meta AI, backed by distinguished angels, all united by the belief that the next leap in trustworthy AI will come from verified reasoning.

If this resonates with you, DM me, we'd love to chat.