Cogent Security
Cogent AI Fellowship
$100K–$300K
San Francisco, CA · On-site · Full-time · Posted May 5, 2026
- Education
- Recently completed PhD in Computer Science or a closely related field, or a defense expected soon.
About the job
Conduct applied research at the intersection of AI and formal methods, then develop and deploy research prototypes as production security systems.
What you'll do
- Define and pursue a research direction in AI and formal methods, and build evaluation harnesses or benchmarks.
- Take ideas from prototype to systems running on real customer workloads, collaborating with research, engineering, and security partners.
- Iterate on research approaches and share findings internally and at relevant venues.
What they ask for
- Research experience in formal methods, program analysis, programming languages, agentic AI for code reasoning, or runtime verification.
- Strong publication record in top conferences or journals, or comparable open-source or artifact contributions.
- Recently completed PhD in Computer Science or a closely related field, or defense expected soon.
- Fluency in a major programming language and ability to mature prototypes into production-ready systems.
Nice to have
- Experience with vulnerability detection/remediation or secure-by-construction systems.
Pay
USD $100,000 - $300,000 annually (base salary)
Tools
Lean
AI focus
Research and build agentic security and auto-remediation capabilities using AI and formal methods, including AI-assisted proof, code generation with correctness certificates, runtime verification of agent tool calls, and natural-language-to-policy synthesis.
Model-written summary · the original posting is authoritative