Cogent AI Fellowship (Member of Technical Staff)

Cogent is an Applied AI Lab focused on building advanced AI agents for cybersecurity. The Cogent AI Fellowship offers early-career PhDs the opportunity to engage in research and engineering, tackling challenges at the intersection of AI and formal methods while contributing to production systems.

Responsibilities:

• 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