Operations Associate
Pramaana Labs
Operations Associate
Pramaana Labs
Formal verification layer for mission-critical AI
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 formal representations so AI answers can be traced, challenged and proved. Our architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team from Google, DeepMind and Glean, bringing together frontier AI researchers and formal methods experts. Our commercial team is building the go-to-market motion to bring this technology to enterprises where correctness matters most.
At a fast-moving research company, small execution gaps can slow down important work. We are looking for an Operations Associate who makes the company run better: someone who anticipates needs, creates order in ambiguity, communicates thoughtfully and closes loops without needing to be chased. You will partner closely with the Chief of Staff and work across recruiting, commercial operations and broader company priorities. One day may involve coordinating a high-stakes customer meeting; another, improving an interview process, supporting a team event or owning an operational project from start to finish. This is a high-trust, hands-on role with room to grow into increasingly independent ownership.
Keep critical external engagements moving: coordinate customer and partner meetings, prepare participants, track follow-ups and ensure every commitment has an owner and next step.
Own an excellent candidate experience through interview scheduling, interviewer coordination, confirmations, reschedules, clear communications and accurate ATS updates.
Support daily company operations such as team events, visitors, vendors, office logistics, documentation and lightweight purchasing coordination as needs arise.
Build simple, reliable trackers for priorities, deadlines, decisions and cross-functional dependencies; surface conflicts early instead of allowing silent slippage.
Prepare crisp agendas, briefs, meeting notes and status updates so leaders enter conversations prepared and leave with actionable decisions.
Spot recurring friction, improve checklists and templates, and implement lightweight automation rather than repeating avoidable manual work.
Handle confidential people and commercial information with judgment, warmth and discretion; take ownership of increasingly complex projects as you earn trust.
Outstanding organization, attention to detail and follow-through, including the ability to manage simultaneous time-sensitive work without dropping commitments.
Excellent written communication and stakeholder judgment with executives, candidates, customers and vendors.
Comfort coordinating calendars across time zones, working in Google Workspace and spreadsheets, and learning systems such as Ashby and HubSpot.
A service mindset without passivity: you anticipate problems, ask the right questions, propose fixes and communicate risks early.
Resilience and calm under shifting priorities, plus the ability to decide when to act independently and when to escalate.
Curiosity about how a company is built and enthusiasm for improving systems, not only completing individual tasks.
Experience in recruiting coordination, executive operations, sales coordination, workplace operations or a fast-growing startup.
Built a scheduling or operating workflow that reduced errors, improved response times or made stakeholders meaningfully more effective.
Familiarity with Ashby, HubSpot, workflow automation, vendor coordination or internal-event execution.
Formal verification layer for mission-critical AI
Pramaana Labs builds a verification layer and a compiler-style stack for mission-critical AI. It converts complex domain knowledge into machine-checkable logic and uses provers and solvers to ensure each answer can be traced, challenged, proved, or rejected with the exact rule that applies. The system targets high-stakes, regulated domains like tax, clinical guidelines, legal rules, cybersecurity, and financial compliance, where formalized definitions, exceptions, and source traceability are essential. Its goal is to deliver verifiable AI outputs that enterprises can audit against governing rules rather than rely on plausibility alone.
Explore more opportunities at Pramaana Labs