Teams at Pramana Labs

Own end-to-end product design across customer, developer, internal, and shared platform experiences. Translate complex AI verification systems, rules, evidence, and dependencies into understandable workflows. Conduct research, prototype, deliver detailed designs, build design-system foundations, and partner closely with engineering through implementation. Help shape product direction, interaction patterns, accessibility standards, and a scalable visual language in an early-stage AI company.

Conduct model training experiments, analyze results, develop auto-formalization and prover-system harnesses, build evaluation benchmarks, and investigate model successes and failures. The intern will collaborate with researchers and engineers to translate findings into improved experiments and approaches for symbolic reasoning and formal AI systems.

Test a rules-to-proof AI product across rule inputs, formal specifications, prover outputs, proof artifacts, APIs, and proof viewers. Identify functional defects, edge cases, security risks, malformed inputs, conflicting rules, and data-handling issues. Create reproducible bug reports, verify fixes, and progressively automate testing using Python, pytest or similar frameworks, and CI/CD tools.