← All positions

PhD studentship · The Chinese University of Hong Kong

PhD Students (Summer/Fall 2027) in Program Analysis, Software Testing and Verification — Shaohua Li, CUHK

Supervisor Shaohua Li

Funding
Full-time scholarship 19,100 HKD/month for all PhD students; exceptional applicants recommended for HKPFS (28,400 HKD/month) or Vice-Chancellor scholarship
Deadline
Not stated
Starts
Summer/Fall 2027

Original advert, reproduced as posted on shao-hua-li.github.io.

Openings

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

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, compilers, 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 (19,100 HKD/month). Exceptional applicants will be recommended to apply for HKPFS (28,400 HKD/month) or Vice-Chancellor scholarship. Scholarship details can be found here .

Related open positions