You apply on Pramaana Labs' website. CoreHRx takes you there after you sign in.
CoreHRx never asks candidates for money. If anyone does, .
Location: Bengaluru
Department: Engineering
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.
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.
Test the different parts of the product for functionality, from rule input through formal specs, prover output and proof artifacts to the customer-facing APIs and proof viewers. Raise clear, reproducible defects and verify fixes.
Cover corner cases and potential security issues, including exceptions, thresholds, conflicting rules, unsatisfiable inputs, malformed or malicious input, and access and data-handling risks.
As time goes on, work on automating these tests so that these are flagged without manual intervention.
3+ years in QA, SDET or ML/LLM evaluation, hands-on test automation experience (Python preferred)
Experience testing non-deterministic or data-heavy systems (LLMs, ML pipelines, rules engines).
Automation and CI/CD experience (pytest or similar, GitHub Actions or Jenkins).
Logical rigor: edge cases, constraints, counterexamples.
Ability to turn dense rule-based text into precise test cases, and to write clear bug reports.
LLM eval and benchmark design.
Tax, law or compliance background.
Property-based testing and API testing.
Most IT Jobs posts in Bangalore ask for 3–6 years of experience (41% of 3129 that say).
From live job posts on CoreHRx, updated 2 Nov 2026. Skill figures count posts that list their skills; salary figures only posts that show a salary.
The post does not state the pay. As an estimate, comparable posts on CoreHRx advertise ₹14L – ₹25L a year (typical for IT Jobs in Bangalore, 287 posts).
In Bangalore.
It is a full time job.
You apply on Pramaana Labs' website. CoreHRx takes you there after you sign in.
Interview preparation · 12 questions
Preparing for an IT or software developer interview in India? This guide covers the rounds companies run, the technical and HR interview questions asked most often for freshers and experienced developers, sample answers you can adapt, and a simple preparation plan.
Questions you may be asked
Create a free profile and we email you new IT jobs in Bangalore, at most once a week.
