🛠 Tech Stack

💼 About This Role

You'll define and pursue a research direction at the intersection of AI and formal methods, such as autoformalizing intent into machine-checkable specifications or runtime verification of agent tool calls. You'll take ideas end-to-end: from prototype to systems running against real customer workloads in cybersecurity. This fellowship blends frontier research with production execution at a fast-growing Applied AI Lab backed by Greylock.

🎯 What You'll Do

• Define and pursue a research direction at the intersection of AI and formal methods.
• Take ideas end-to-end from prototype to production against real customer workloads.
• Partner with applied AI, agent, and platform engineers to translate research into capabilities.
• Build evaluation harnesses and benchmarks for verified-correct or policy-compliant security environments.

📋 Requirements

• Research experience in formal methods, program analysis, programming languages, agentic AI for code reasoning, or runtime verification.
• A strong publication record in top conferences or comparable open-source contributions.
• A recently completed PhD in Computer Science or closely related field.
• Strong engineering ability including fluency in a major programming language and production-readiness judgment.

✨ Nice to Have

• Experience with vulnerability detection/remediation or secure-by-construction systems.
• Independent, self-starting mindset and comfort in ambiguous settings.

🎁 Benefits & Perks

• 💰 Variable compensation and equity eligible.
• 🏥 Inclusive benefits package.

📨 Hiring Process

Estimated timeline: 2-4 weeks · AI estimate

1. 1Recruiter Screen· 30 min
2. 2Technical Interview· 60 min
3. 3Research Presentation· 60 min