Cogent AI Fellowship

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.