The HKUST Automated Reasoning and Transformation of Software (HARTS) research group, led by Assistant Professor Jiasi Shen in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology, is looking for PhD and MPhil students to conduct research in programming languages and software engineering. Students will be fully funded with competitive salaries.
Potential research directions include:
The applicants are expected to have solid skills in programming and/or math. Prior research experience in PL/SE is beneficial but not required.
Fall 2023 intake: Prospective students are encouraged to email Dr. Shen ( s[full][at]cse.ust.hk ) and submit the full application to HKUST at the earliest convenience. Applications are reviewed on a rolling basis until the positions are filled. The hard deadline for the Fall 2023 intake is 1 Jun 2023 for non-local applicants.
Spring/Fall 2024 intakes: The application deadlines will be announced later this year. Strong applicants for the Fall 2024 intake are encouraged to prepare for early admission to receive full consideration for the prestigious Hong Kong PhD Fellowship (HKPF).
HKUST was ranked #3 in the Young University Rankings 2022 and #29 in the World University Rankings 2023 for Computer Science by Times Higher Education. The language of instruction is English.
Dr. Shen obtained a bachelor's degree from Peking University and master's and PhD degrees from MIT, and joined HKUST in January 2023.