Postdoctoral Research Scientist

Columbia University’s Department of Computer Science is seeking a Postdoctoral Research Scientist to conduct research at the intersection of formal methods, computer security, and artificial intelligence. The role focuses on developing scalable formal verification frameworks for the safety and security of autonomous, agentic AI systems and multi-agent AI swarms, including publication and collaboration with faculty, students, and external researchers.

Responsibilities:

• Research & Development: Formalize and prove security and safety properties for agentic AI architectures and multi-agent swarms using interactive theorem provers
• Infrastructure & Tooling: Build and scale automated proof and verification workflows designed to run on high-performance GPU clusters
• Collaborative Research: Work closely with co-advisors, PhD/Master’s students, and external collaborators (such as the Lean FRO) to integrate state-of-the-art interactive theorem proving with modern AI systems
• Publication & Dissemination: Publish high-impact research in top-tier security, formal methods, and AI conferences/journals (e.g., CAV, PLDI, S&P, CCS, NeurIPS, ICML)