QA Engineer, AI Verification Systems is open at Pramaana Labs in Bengaluru. Posted on Oct 22, 2026, and still on Pramaana Labs’s careers page when we last checked, on Nov 14, 2026.
About the role
QA/SDET (Software Development Engineer in Test) for a rules-to-proof product. You test every stage of the pipeline, from rule input through formal specs, prover output and proof artifacts to the customer-facing APIs and proof viewers. You raise clear, reproducible defects and verify fixes. Focus areas: Corner cases and security risks, including exceptions, thresholds, conflicting rules, unsatisfiable inputs…
The opening lines of the posting. The rest is on Pramaana Labs’s careers page.
Hiring at Pramaana Labs
Pramaana Labs has 13 open roles right now. Most are in Engineering, Data & Research and Operations. See all its roles
