Pramaana Labs is hiring a QA Engineer (SDET) in Bengaluru for a rules-to-proof product. You will test every stage of the pipeline, from rule input through formal specifications, prover output and proof artefacts to customer-facing APIs and proof viewers, and raise clear, reproducible defects and verify fixes. Focus areas include corner cases and security risks such as exceptions, thresholds, conflicting rules, unsatisfiable or malicious input, and access and data-handling issues. Over time you will automate these tests. Candidates need 3 or more years in QA, SDET or ML/LLM evaluation, hands-on test automation experience (Python preferred) and experience testing non-deterministic or data-heavy systems such as LLMs or ML pipelines.