QA Engineer, AI Verification Systems
BengaluruFull-time3–6 yrsPosted 2 weeks ago
Mid-level QA and testing role at Pramaana Labs in Bengaluru. Needs 3+ years.
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.
What you'll do
- Test the different parts of the product for functionality, from rule input through formal specs
- Cover corner cases and potential security issues, including exceptions, thresholds, conflicting rules, unsatisfiable inputs, malformed or malicious input
- As time goes on, work on automating these tests so that these are flagged without manual intervention
- THRIVE IN THIS ROLE IF YOU HAVE
- 3+ years in QA, SDET or ML/LLM evaluation, hands-on test automation experience (Python preferred)
What you need
- Test cases
- API testing
- Unit testing
- LLMs
- Machine learning
- CI/CD
Good to have
- Test automation
- Python
- Jenkins