Pramaana Labs, Bengaluru
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.
Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.
AnaplanGurugram +1
Pay not posted
Posted Jul 7, 2026
BIORemote
Pay not posted
Posted Jan 23, 2026
AI SquaredBangalore, India +1
Pay not posted
Posted Nov 26, 2025
Pay not posted
Posted Sep 28, 2022
BrillioBangalore, Karnataka, India
Pay not posted
Posted Oct 6, 2026
Pay not posted
Posted Feb 14, 2025
Source: the Pramaana Labs Ashby job board. We last checked this job 7 h ago. We first saw it 4 days ago. A job on a job board does not always mean that the team interviews people now. We found this job board in a public list. We did not yet compare it with the careers page of the company.
No one has reported an interview at Pramaana Labs yet. Did you interview there? Add the questions.