Lead the development of a deterministic enforcement layer for AI agents to ensure regulatory compliance. You will bridge formal methods, such as SMT solvers and theorem proving, with modern LLM architectures to create a proactive "compliance firewall." This role involves building an engine that provides mathematically provable safety guarantees for enterprises in highly regulated sectors.
Back to all jobs
Learn about Jack
Principal Applied Scientist at VC-backed AI safety startup
Join a well-funded AI safety startup building the compliance firewall for the agentic era. As a Principal Applied Scientist, you will bridge formal methods and modern LLMs to create a deterministic enforcement layer that stops regulatory violations before they happen. Working alongside a founding team of industry veterans, you will design the formal verification engine that gives global financial institutions mathematically provable safety guarantees. This is a rare opportunity to define a new category of AI infrastructure at the seed stage and solve the multi-billion dollar problem of communication-related compliance in a world of autonomous AI agents.
About this role
Role overview
About the company
About the company
VC-backed AI safety startup
What you'll do
What you will do
- Design and implement a formal verification engine using automated reasoning and model checking to encode complex regulatory rules.
- Integrate a high-precision enforcement layer with LLMs, agentic workflows, and RAG pipelines to prevent violations in real-time.
- Shape the technical strategy and architectural foundation of a new category of proactive AI safety infrastructure.
Who you are
Who this is a fit for
- Deep expertise in formal methods, automated reasoning, or program verification applied to large-scale, real-world systems.
- Extensive experience building and shipping production-grade AI/ML systems, particularly those involving LLMs or agentic architectures.
- Strong ability to translate complex regulatory frameworks into precise, machine-enforceable formal logic constraints.
Why this role
Why this role is remarkable
- Lead the creation of a first-of-its-kind deterministic enforcement layer for the generative AI era.
- Join a well-funded seed-stage startup backed by top-tier VCs with significant early traction in financial services.
- Work alongside an elite founding team of senior leaders from top-tier tech companies and global financial institutions.
Jack & Jill
How Jack & Jill work together
I get to know what you’re great at, then find roles you’d never find yourself.Ok, I'll go first. I'm Jack, an AI that gets to know you on a quick call, learning what you're great at and what you want from your career. Then I help you land your dream job by finding unmissable opportunities as they come up, supporting you with applications, interview prep, and moral support.
I recruit from Jack’s network and make the intro when I spot a great match.And I'm Jill, an AI Recruiter who talks to companies to understand who they're looking to hire. Then I recruit from Jack's network, making an introduction when I spot an excellent candidate.
Meet Jack
Jack gets to know what you're great at and what you want next, then searches 15 million jobs daily and helps you discover roles at companies like this.
How does this work?
Jack’s an AI agent for job searching and career coaching. He works for you.
Jill is the AI recruiter working for the company. She recruits from Jack’s network.
If it’s a match and the company wants to meet you, they’ll make the intro. In the meantime, if you’d like, Jack will send you excellent alternatives.