Thomas Peyrin

Thomas Peyrin, Professor at Nanyang Technological University (Singapore), is looking for candidates in cryptography and related technical roles. The post explicitly mentions openings for PhD students , postdocs , and also a full-stack engineer for a new startup, Implicant, at NTU in Singapore. This opportunity is centered on research and development in cryptography, with a broader computer science and cybersecurity angle. The post does not provide a formal project title, funding package, stipend, tuition coverage, or application deadline. It also does not list detailed eligibility requirements such as prior degree level, grades, publications, or language test scores. Interested applicants are asked to contact Thomas Peyrin directly via LinkedIn. Relevant links in the post include his LinkedIn profile and the short application/contact link for the engineering role.

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 .

Nanyang Technological University (NTU Singapore) is recruiting for two Research Fellow/Postdoc positions in the SyMmmetric cryptography and Machine Learning Lab (SyLLab) . Research areas: symmetric-key cryptanalysis; interactions between cryptography and AI; cryptanalysis of AI models; AI for cryptanalysis; secure deployment of AI models using MPC or FHE ; explainable AI; and formal verification of AI models. Ideal background: applicants with strong interests or experience in cryptography, computer science, mathematics, AI security, and formal methods are encouraged to apply. The post is especially relevant for candidates working on symmetric cryptography, cryptanalysis, and trustworthy AI. Funding and environment: the lab offers an excellent research environment, a highly international team, flexible working conditions, and budget support for conferences/equipment. No specific salary or stipend amount is stated. How to apply: interested candidates should send a detailed CV and references directly to Professor Thomas Peyrin. The post does not list a formal deadline, so early contact is advisable. Institution: Nanyang Technological University, Singapore.

Thomas Peyrin, Professor at Nanyang Technological University (NTU), Singapore , is advertising openings in the SyLLab lab (Symmetric cryptography and Machine Learning Lab) for two Research Fellow/Postdoc positions , and the post also says he is looking for PhD students . The research themes are centered on cryptography and AI security , including symmetric-key cryptanalysis , interactions between cryptography and AI, cryptanalysis of AI models , using AI for cryptanalysis, secure deployment of AI models through MPC or FHE , as well as explainable AI and formal verification of AI models . The lab describes an excellent research environment with a highly international team, flexible working conditions, and support for conferences/equipment. No deadline, salary, or formal eligibility requirements are stated in the post. Interested candidates should send a detailed CV and references directly to the announcer.