The Software Verification and Analysis (SVA) research group at HKUST has several openings for PhD positions in Programming Languages, Formal Verification, and Algorithms with a start date in September 2022. We welcome candidates with a bachelor's or master's degree in either Computer Science or Mathematics. The group's research is mathematical and algorithmic in nature. As such, we prefer candidates who have demonstrated research experience or a track record of excellent performance in competitive programming or mathematical/informatics olympiads. Candidates are expected to speak English fluently. We have openings for PhD in both Theoretical Computer Science and Mathematics.
The normal duration of PhD studies is 3 years for MSc entry and 4 years for BSc entry. Salary is internationally competitive (~2300 USD/month, tax rate < 2%) and subsidized on-campus accommodation is provided. Admitted students will also be considered for the Hong Kong PhD Fellowship Scheme (HKPFS). HKPFS awardees receive a stipend of ~3500 USD/month. Moreover, ample funding is available for attending international conferences and visiting collaborating research groups around the world.
Inquiries and applications should be sent to firstname.lastname@example.org. Please include your CV and transcripts. Shortlisted applicants will be interviewed in September and October 2021 and early admission results will be released by November 2021.
HKUST is one of the world's leading research-intensive universities. It routinely appears in the top 30 universities globally, and has been ranked 1st among young universities by THE. It also has one of the most international environments in Asia and operates in English. Our Department of Computer Science and Engineering boasts a very strong presence in Theoretical Computer Science and is ranked 17th globally and 1st in Asia. The university's modern campus is located in the picturesque Clear Water Bay area of Hong Kong.
Hong Kong is one of the richest, greenest, and most developed parts of the world. It is a melting pot of Chinese and western culture and offers a truly cosmopolitan experience (and excellent food). English is an official language and widely spoken in Hong Kong.