Cogent AI Fellowship
Cogent SecurityVulnerability Management company
San Francisco, United StatesLead
Bain Capital Ventures
Greylock Partners
Definition Capital
Lockstep
OpenAI Group PBC
Abnormal Security Corp.
Data & AI
About the role
TL;DR
Early-career research-engineering track for PhDs in AI and formal methods.
- •The Cogent AI Fellowship is an early-career research-engineering track for recently graduated PhDs in AI and formal methods.
- •Key Responsibilities Define and pursue a research direction at the intersection of AI and formal methods.
- •Take ideas end-to-end: from prototype to systems running against real customer workloads.
- •Partner with applied AI, agent, and platform engineers to translate research advances into production capabilities.
- •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 journals, or comparable open-source or artifact contributions.
- •A recently completed PhD in Computer Science, or a closely related field, or a defense expected soon.
Required skills
Python
Domain expertise
deeptechaicybersecurity
Tech stack
Python