Cogent AI Fellowship
Core
Early-career research-engineering track for PhDs to move AI and formal methods research from paper to production in cybersecurity.
Role type
Research Engineer (AI & Formal Methods)
Builds
Production systems for agentic security guarantees and auto-remediation of security findings
Domain
Cybersecurity, Applied AI, Formal Methods
Deliverable
production ML models | product features
Required skills
formal methods, program analysis, programming languages, agentic AI for code reasoning, runtime verification, prototype-to-production engineering
Preferred skills
vulnerability detection/remediation, secure-by-construction systems
Technologies
Lean, tool call runtime enforcement, certificate-producing code generation
Responsibilities
Define and pursue research directions at the intersection of AI and formal methods; take ideas end-to-end from prototype to systems running against real customer workloads; partner with engineers to translate research into production capabilities; build evaluation harnesses and benchmarks for verified-correct or policy-compliant outcomes; iterate quickly and share learnings internally and at conferences.