Hi folks,

We have openings for several 4-year PhD scholarships at the Gran Sasso Science Institute (GSSI), L'Aquila, Abruzzo, Italy. See this link for more information. GSSI is a school of advanced studies, i.e. a university with only PhD students, with a strong research presence in computer science.

Hello Codeforces!

We have several openings for fully-funded Master of Philosophy (MPhil) positions in Financial Technology at the Hong Kong University of Science and Technology, Guangzhou Campus. We welcome candidates with a bachelor's degree in computing, mathematics or any other related STEM field. This is a research-focused master's program in which the students will devote the vast majority of their time to research and only a small portion to passing graduate courses. The research itself will be focused on algorithmic and formal aspects of Blockchains and Cryptocurrencies, including game-theoretic security analysis. Therefore, we prefer candidates who have demonstrated research experience or a track record of excellent performance in competitive programming or mathematical/informatics olympiads. The working language of HKUST is English. The normal duration of an MPhil is 2 years.

Successful candidates will become members of our Software Verification and Analysis (SVA) research group at HKUST and advised by Amir Goharshady. We are a truly international research group with members from Austria, Bangladesh, Brazil, China, Czechia, Egypt, India, Iran, Kazakhstan and Turkmenistan. Some of the other group members are posij118, kobus, _zaher_ and Kerim.K.

More information about the program is available here and here. You can also see this youtube video. Note that the deadline for applications is today (1 March).

Applications should be sent using the links above. Enquiries and questions can be sent to goharshady@cse.ust.hk. Please send your CV and transcripts to the same email address, too. Shortlisted applicants will be interviewed in April-May and offers will be released shortly thereafter. The official starting date is 1 September 2022.

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 various areas, including Theoretical Computer Science and Blockchain, and is ranked 17th globally and 1st in Asia. Our university has two modern campuses, one located in Hong Kong and the other in Guangzhou.

Hi everyone!

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 goharshady@cse.ust.hk. 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.