{"id":3058591,"url":"https://alion.io/job/pramaana-labs-qa-engineer-ai-verification-systems","title":"QA Engineer, AI Verification Systems","company":{"id":3789407,"name":"Pramaana Labs","domain":"pramaanalabs.ai","url":"https://alion.io/company/pramaanalabs","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":null},"role":"QA","role_family":"QA","seniority":"middle","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Bengaluru, India"],"countries":["IN"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":9500,"max_usd":25000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":14},"experience_years_min":3,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"CI/CD","optional":false},{"name":"GitHub Actions","optional":false},{"name":"Jenkins","optional":false},{"name":"LLM","optional":false},{"name":"LLM Evaluation","optional":false},{"name":"Pytest","optional":false},{"name":"Python","optional":false},{"name":"World Models","optional":false}],"status":"live","first_seen_at":"2026-10-22T03:54:20Z","employer_posted_date":"2026-10-22","last_verified_at":"2026-11-02T01:36:50Z","board_verified":true,"closed_at":null,"days_open":10,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":10},"description":"Company\nPramaana 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.\nThe Role\nQA/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.\nFocus areas: Corner cases and security risks, including exceptions, thresholds, conflicting rules, unsatisfiable inputs, malformed or malicious input, and access and data-handling issues.\nLong-term goal: Automate these tests so problems are flagged without manual intervention.\nWhat You'll Do\nTest 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.\n\nCover corner cases and potential security issues, including exceptions, thresholds, conflicting rules, unsatisfiable inputs, malformed or malicious input, and access and data-handling risks.\n\nAs time goes on, work on automating these tests so that these are flagged without manual intervention.\n\nYou Will Thrive in This Role If You Have\n3+ years in QA, SDET or ML/LLM evaluation, hands-on test automation experience (Python preferred)\n\nExperience testing non-deterministic or data-heavy systems (LLMs, ML pipelines, rules engines).\n\nAutomation and CI/CD experience (pytest or similar, GitHub Actions or Jenkins).\n\nLogical rigor: edge cases, constraints, counterexamples.\n\nAbility to turn dense rule-based text into precise test cases, and to write clear bug reports.\n\nEspecially Strong Candidates May Also Have\nLLM eval and benchmark design.\n\nTax, law or compliance background.\n\nProperty-based testing and API testing.","description_format":"text","description_chars":2328,"description_truncated":false,"requirements":{"experience_years_min":3,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Machine Learning","AI Research Labs"],"lifecycle":[{"event":"open","at":"2026-10-22T05:12:37Z"}],"visa":[],"liveness":{"score":79,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.878,"p_room":0.9,"age_days":10,"expected_fill_days":25,"reasons":["conf:0","velocity","win:mid"],"computed_at":"2026-11-01T06:10:25Z"},"pay":null,"html_url":"https://alion.io/job/pramaana-labs-qa-engineer-ai-verification-systems","json_url":"https://alion.io/job/pramaana-labs-qa-engineer-ai-verification-systems.json","meta":{"generated_at":"2026-11-02T02:45:27Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":4225,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-03T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":3789407},"rest":"https://alion.io/mcp/rest/get_company?id=3789407"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fpramaana-labs-qa-engineer-ai-verification-systems"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fpramaana-labs-qa-engineer-ai-verification-systems"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fpramaana-labs-qa-engineer-ai-verification-systems"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/pramaana-labs-qa-engineer-ai-verification-systems\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fpramaana-labs-qa-engineer-ai-verification-systems"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":3058591}},{"tool":"search_jobs","arguments":{"company":"pramaanalabs.ai","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":3058591},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}