pramaana-labs
QA Engineer, AI Verification Systems
- Full-time
- Contract
- IT
- QA
... founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts. 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 ...
Bangalore, भारत