Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into machine-checkable systems that return proofs, counterexamples, and traceable explanations. Backed by Accel.
About the role
We’re looking for a full-stack engineer with focus on infrastructure to build the tools and systems that help Pramaana’s engineers and researchers develop, test, deploy, and operate their work more effectively. Found on 1752vc Careers, the job board for startup and VC roles.
What they're looking for
- Minimum 2-3 years of software engineering experience , including hands-on work with backend services, full-stack applications, internal tools, or deployment automation
- A solid foundation in building software across the stack. You can develop services and automation in Python or TypeScript, work with APIs and databases, and build usable interfaces with React or a similar framework
- Practical cloud and deployment experience. You’ve deployed applications using containers and a cloud platform such as AWS, worked with CI/CD, and used logs or metrics to investigate problems
- Some hands-on exposure to AI or ML workflows. This could include integrating model APIs, running evaluations, tracking experiments, or operating model-backed applications through work or substantial projects. You don’t need to be an ML researcher
- A product mindset for internal users. You care about clear interfaces, sensible defaults, useful documentation, and reducing the number of steps it takes someone to get their work done
- Good engineering judgment and a collaborative approach. You write maintainable code, test important behavior, ask for review, and communicate trade-offs. You can take ownership of a scoped problem while recognizing when to seek help
More about this role
Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.
We’re looking for a full-stack engineer with focus on infrastructure to build the tools and systems that help Pramaana’s engineers and researchers develop, test, deploy, and operate their work more effectively.
Your initial focus will be DevOps and MLOps : improving development environments and deployment workflows, making experiments and evaluations reproducible, and helping teams understand the behavior, performance, and cost of AI systems. You’ll build across interfaces, backend services, and infrastructure automation—not just maintain scripts or configure dashboards.
This is an early-stage role with scope...
Browse similar: AI jobs · AI startup jobs · Startup jobs · San Francisco Bay Area