Forward Deployed Engineer

Pramaana Labs is a frontier AI lab building the verification layer for AI. We turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into formal representations that support reasoning people can inspect and check. Our architecture pairs models trained to formalize and reason with a symbolic world model encoded in Lean 4.

The hardest questions in AI emerge when systems meet messy reality. Can ambiguous, exception-filled rules be formalized faithfully? Can we distinguish what is proved from what is assumed, and make the results reliable enough to use? As a Forward Deployed Engineer, you'll work where applied research, software engineering and customer problems meet. Alongside Pramaana engineers and researchers, you'll prototype and evaluate verifiable AI workflows, build tools and integrations, and help take promising systems into production. You'll investigate failures and turn lessons from the field into improvements to our research, models and core technology. We're looking for engineers who think from first principles, learn fast and care deeply about making AI reasoning verifiable.

What you'll do:

• Understand the real technical problem. Work with customers and domain experts to turn source material, rules, exceptions and constraints into clear requirements and success criteria.

Full details and application on the official Pramaana Labs careers page.