Destava

QA Engineer, AI Verification Systems

Pramaana Labs is hiring for QA Engineer, AI Verification Systems in Bengaluru. Mid level. First seen October 23, 2026; open as of November 11, 2026. Jobs taken straight from company career pages — no aggregator in between.

Save to applyRead more and apply on Pramaana Labs' site

With Destava: How well do you fit? · Tailor my résumé · Write a cover letter

Company
Pramaana Labs
Where
Bengaluru
Level
Mid
First seen
October 23, 2026
Listed via
Ashby

What the posting says

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, malformed or malicious input, and access and data-handling issues. Long-term goal: Automate these tests so problems are flagged without manual intervention. WHAT YOU'LL DO -…

Read more and apply on Pramaana Labs' site

This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.