Openings

I am looking for Ph.D. students (from Summer/Fall 2026), RA (from Fall 2025) and Postdoc (from Fall 2025).

If you’re interested, please drop me an email (shaohuali.cuhk@gmail.com) with the subject “{PhD|MPhil|RA|Intern}-{Your Name}” (e.g., PhD-Shaohua Li). Please include your CV and transcripts in the email.

I’m broadly interested in topics related to program analysis, optimization, security, testing, and verification in classic/ML software, systems, comiplers, etc. Recently, I’m actively exploring how to use AI to solve classic problems in these settings and how to solve the classic problems in AI software and systems.

• Research: You want to do solid research that has real-world impact.
• Publication: It’s a plus but not necessary.
• Programming: Strong programming skills.
• Open-Source: If you have open-sourced projects, you’re welcomed to indicate that in your email/CV.

Scholarships

All Ph.D. students will be offered with a full-time scholarship (18,725 HKD/month). Exceptional applicants will be recommended to apply for HKPFS (28,100 HKD/month) or Vice-Chancellor scholarship. Scholarship details can be found here.

How to apply (PhD)

Visit here for detailed information. Please also email me before/after you apply to the program.

• Early admission for 2026 intake has two deadlines, 22 May and 24 July, 2025.
• Regular admission for 2026 intake has three deadlines, 9 Oct 2025, 26 Jan 2026, and 31 Mar 2026.
• Applicatants that are not admitted by the early admission can still apply to the regular admission rounds.