Publisher
source

Thomas Peyrin

4 months ago

Nanyang President's Graduate Scholarship

PhD in Formal Verification and Explainability of AI Models at Nanyang Technological University Nanyang Technological University in Singapore

Degree Level

PhD, Postdoc

Field of study

Computer Science

Funding

The post refers to the Nanyang President's Graduate Scholarship (NPGS), described as NTU's elite PhD scholarship. No stipend amount or detailed coverage is provided in the post.

Deadline

Jan 31, 2027

Country flag

Country

Singapore

University

Nanyang Technological University

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Meet Kite AI

Apply for this position

Keywords

Computer Science
Information Technology
Mathematics
Cryptography
Postdoc pos

Suggested scholarships

About this position

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.

Funding details

The post refers to the Nanyang President's Graduate Scholarship (NPGS), described as NTU's elite PhD scholarship. No stipend amount or detailed coverage is provided in the post.

What's required

Interested candidates should be pursuing a PhD in formal verification and/or explainability of AI models. The post also indicates interest in PhD students, postdocs, and engineers, and refers applicants to the NTU NPGS call for the January 2027 batch.

How to apply

Send a direct message to Thomas Peyrin if interested. Review the NTU NPGS application call for the January 2027 batch and follow the scholarship instructions in the linked announcement.

More information can be found here

View more positions in Nanyang President's Graduate Scholarship

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?

Professors