Graduate Programs
Advanced Research Education
Join our distinguished graduate programs and research internships designed to prepare the next generation of scholars and researchers. Our programs offer unique opportunities to work with world-class faculty on cutting-edge research projects.
Flagship Program
Formal Systems & Machine Learning Research Internship
A premier 8-month research internship combining theoretical foundations with cutting-edge machine learning applications. Work directly with our Dynamic Formal Systems Research Laboratory (DFS Lab) on breakthrough projects in mathematical AI and formal verification.
DFS Lab Partnership
Work directly with the Dynamic Formal Systems Research Laboratory on breakthrough projects in mathematical AI and formal verification.
Type Theory & AI
Gain hands-on experience with System F, polymorphic lambda calculus, and their applications in intelligent systems.
Research Publication
Contribute to peer-reviewed publications and present findings at top-tier academic conferences.
Industry Collaboration
Connect with leading tech companies applying formal methods to real-world AI safety and verification challenges.
Graduate Programs
Research Opportunities
Comprehensive graduate programs across our research divisions
PhD in Computational Sciences
Full doctoral program focusing on mathematical modeling, algorithmic development, and computational theory.
AI Research Fellowship
2-year fellowship program in machine learning theory, cognitive systems, and AI foundations.
Digital Humanities Fellowship
Research fellowship exploring technology, creativity, and human expression in digital contexts.
Program Benefits
Why Choose Our Graduate Programs
Exceptional resources and opportunities for academic and professional development
Learn from distinguished researchers and thought leaders in their respective fields.
Access to cutting-edge laboratories, computational resources, and research infrastructure.
Collaborate with leading technology companies and research institutions worldwide.
Full funding for presenting research at international conferences and symposiums.
Cross-departmental collaboration encouraged across all research divisions.
Comprehensive professional development and career placement assistance.
Student Success
Program Success Metrics
Outstanding outcomes for our graduate students and researchers
Application Process
Ready to Begin Your Research Journey?
Applications are reviewed on a rolling basis. Priority consideration given to applications received by February 1st for Fall admission.