AI/ML
Security
Pramaana Labs
Pramaana builds the verification layer for AI: systems that turn complex human knowledge - tax codes, clinical guidelines, legal rules, safety constraints - into machine-checkable logic, so every answer can be traced, challenged, and proved.
Palo Alto· 2 roles
CORE INFO
$27M
Total FundingSeed
RoundHIRING SIGNAL
2
Open roles on their careers page
Snapshot via live ATS poll
—
Net new roles in the last 90 days
Available once weekly history accrues
90-Day VelocityV2 · BACKFILL
Trend builds weekly as historical rows accrue
By Function
Breakdown of open roles
Data · 1
Other · 1
Top Locations
Where hiring is concentrated
Remote-eligible postings counted separately
Palo Alto
2
SourcesGreenhouseLeverAshbyWorkableSmartRecruitersRipplingRecruiteeFallback · Wellfound, YC Work-at-a-Startup, careers-page scrape
KEY COMPANY ANNOUNCEMENTS
Filter
14 announcements · ranked by importanceJun 17, 2026FUNDINGPramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI | TechCrunchtechcrunch.com
Jun 17, 2026FUNDINGPramaana Labs raises $27 million in seed funding led by Khosla Ventures | Start Ups - Business Standardbusiness-standard.com
Jun 17, 2026FUNDINGIndian AI startup Pramaana Labs raises $27m funding led by Khosla Venturesdealstreetasia.com
Jan 1, 2026INTERVIEWPramaana Labs on Building Provable AI in High-Stakes Domains | Unbound posted on the topic | LinkedInlinkedin.com
Jul 14, 2026INTERVIEWBuilding a Frontier AI Verification Lab | In Context with Pramaana Labs | BoldCapyoutube.com
Jun 10, 2026FUNDINGTranscript: Vinod Khosla on auto-formalization as the next AI frontier — and his investment in Pramaana Labs | TBPN Digesttbpndigest.com
Jan 1, 2026FUNDINGAt BoldCap, we have always believed that Auto Formalisation and Formal Verification is a next big frontier in AI. In our quest to chase this unlock we met Pramaana Labs who are building an AI Lab… | BoldCaplinkedin.com