Описание
Company 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. 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. 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 across the company. As needs evolve, your work will extend into shared capabilities such as identity and access, LLM gateways, API-key management, training and inference platform maintenance, usage metering, and internal applications.
You’ll work directly with the people using these syste
Полное описание, компания и ссылка на вакансию — после входа.
ВойтиКонтакты работодателя (email/phone/telegram) скрыты из публичного превью —
отправьте резюме, чтобы мы связали вас напрямую.