Nanyang President's Graduate Scholarship

Nanyang Technological University (NTU) is advertising a PhD opportunity connected to formal verification and/or explainability of AI models. The post is shared by Professor Thomas Peyrin, who is based at NTU and is looking for interested candidates. The opportunity is framed around the Nanyang President's Graduate Scholarship (NPGS), which NTU describes as its elite PhD scholarship.

Applicants should be interested in research at the intersection of computer science, mathematics, and AI assurance topics, with possible links to cryptography and rigorous methods. The post explicitly mentions that NTU has launched the call for NPGS applications for the January 2027 batch. This suggests a funded doctoral route rather than an unfunded self-application.

Thomas Peyrin is the announcer and appears to be the recruiting academic contact. He invites interested candidates to send a direct message. No email address is provided in the post, and no detailed eligibility criteria such as GPA, degree background, or language requirements are listed in the text shared here.

Funding is associated with the NPGS scholarship, but the post does not specify stipend amount, tuition coverage, or other benefits. Candidates should consult the linked NTU announcement for the official scholarship details and application instructions.

Research keywords: formal verification, explainability of AI models, cryptography, AI safety/assurance, PhD scholarship.

Application window: NTU NPGS call for the January 2027 batch.