ABOUT THE ROLE

Cogent Research is investing equally in two core research areas. The first is agentic security: as AI agents are deployed in production, real-world incidents have shown that prompt-level guardrails are insufficient. Agent behavior requires guarantees that are non-bypassable, AI-synthesized, and human-auditable. The second is auto-remediation: resolving security findings at machine speed in real customer environments.

Each area is a first-class research objective, and the two are deeply connected. Auto-remediation can only operate safely at the required level of autonomy when agentic security guarantees are in place. Across both areas, we combine AI with formal methods: tool calls governed by runtime-enforced policies, and code fixes that ship with machine-checkable certificates of correctness.

The Cogent AI Fellowship is an early-career research-engineering track for recently graduated, or soon-to-graduate, PhDs who want to move research from paper to production. Fellows choose a problem they are excited to pursue, prototype quickly alongside our research and engineering teams, and ship production systems. We look for people who are comfortable with ambiguity and willing to change direction when the evidence calls for it.

WHAT YOU'LL DO

• Define and pursue a research direction at the intersection of AI and formal methods, such as autoformalizing intent into machine-checkable specifications, certificate-producing code generation, AI-assisted proof in Lean, runtime verification of agent tool calls, or natural-language-to-policy synthesis.
• 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.
• Work with design partners and security leaders to ground the work in the workflows security engineers actually run.
• Build evaluation harnesses and benchmarks that capture what "verified-correct" or "policy-compliant" means in messy, real-world security environments.
• Iterate quickly, update your approach when results indicate a better path, and share what you learn internally and at venues that advance the field.

ABOUT YOU

• Research experience in one or more of the following areas: 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.
• Strong engineering ability, including fluency in a major programming language and the judgment to mature a prototype into a production-ready system.
• An independent, self-starting mindset; comfort operating in ambiguous settings; and genuine excitement for Cogent's mission.

Bonus Points For

• Experience with vulnerability detection/remediation or secure-by-construction systems.

For California Based Applicants

The standard base salary range for this position is $100,000 - $300,000 annually. Compensation offered will be determined by factors such as location, job level, job-related knowledge, skills, and experience. Certain roles may be eligible for variable compensation, equity, and benefits.