PhD Positions in Programming Languages and AI Systems
Join SUNY Korea to research the intersection of programming languages, compilers, and artificial intelligence.
Best for:Best for computer science graduates with a strong foundation in programming languages, compilers, or formal methods seeking a PhD in an international setting.
Overview
The Department of Computer Science at the State University of New York, Korea (SUNY Korea) is seeking motivated PhD candidates to investigate foundational programming-language techniques that make artificial intelligence and software systems more reliable, efficient, and trustworthy. Students will pursue a rigorous Stony Brook University degree within an international and collaborative campus environment located in Songdo, South Korea. Successful applicants will focus on topics such as compiler technologies, formal methods, and floating-point computation under faculty guidance. Candidates are expected to conduct high-impact academic research, participate in departmental activities, and complete the formal graduate admissions process.
What you'll do
- Conduct independent and collaborative research at the intersection of programming languages and AI systems
- Develop and evaluate novel compiler optimizations, program analyses, or formal reasoning frameworks
- Publish research findings in premier academic conferences and journals
- Engage with international collaborators, including researchers at Stony Brook University
- Fulfill teaching or research assistantship duties as assigned by the department
Requirements
Degree required: Bachelor Degree or equivalent in Computer Science or a closely related field
Degree offered: PhD
Language: ENGLISH; Excellent proficiency required
Instruction: English
- Strong foundational background in computer science and software systems
- Demonstrated interest in programming languages, compilers, or formal methods
- Solid analytical and problem-solving capabilities for rigorous scientific research
- Eagerness to learn and execute high-impact empirical or theoretical studies
- Hold a bachelor's degree or equivalent prior to enrollment
- Meet all formal admissions criteria for the Stony Brook University graduate program at SUNY Korea
Funding & terms
How to apply
Deadline: 2026-12-01 (Asia/Seoul)
Interested candidates should first send an initial inquiry email to Zhoulai Fu with the specified subject line, including a research statement, CV, and transcripts. Promising applicants will be invited for discussions and must subsequently complete SUNY Korea's formal graduate application before the deadline.
- CV
- Statement describing research interests and motivation
- Unofficial academic transcripts
- Links to publications, a thesis, or software projects
Contact
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.