新加坡管理大学(SMU)招收全奖PhD学生 | Formal Methods | AI Safety

转发一个phd广告。导师水平高有耐心，发文章非常猛！

tl;dr:
1. 在新加坡管理大学（smu）计算机系招收多名全奖博士生 (2026 spring)
2. 方向：Formal Methods, Safe AI, Software Engineering
3. 虽然smu是一所新学校，但其科研氛围和学生出路都很好。在2019-2024年csranking上，smu在软件工程方向上全球排名第2，ai方向排名21，cs总排名58。

老师主页：https://djordjezikelic.github.io/
申请者可直接发送简历和成绩单至邮箱：dzikelic@smu.edu.sg


具体介绍见下：

Multiple PhD Positions in Formal Methods and Safe AI at the School of Computing and Information Systems, Singapore Management University

We have multiple fully funded PhD positions for motivated students who wish to push the boundaries of theory and automation of formal methods for guaranteed AI safety, under the supervision of Assistant Prof. Djordje Zikelic (https://djordjezikelic.github.io/).Possible PhD topics include:

• Formal methods for learning-enabled control systems
• Safe reinforcement learning
• Verification and planning in Markov models
• Probabilistic programming
  

A strong candidate is expected to have solid mathematical background (demonstrated through courses such as algorithms, computability, automata theory, probability theory) and good coding skills. Prior publications are not necessary.

Singapore is a vibrant and cosmopolitan place with a thriving academic landscape. It is also a perfect place for fellow food lovers. SMU is a premier and fast-growing university that provides an excellent research environment with strong groups in formal methods, software engineering, and AI.

Application deadline: June 30
More details: https://djordjezikelic.github.io/openings/
Application website: https://computing.smu.edu.sg/phd/online-application

全奖PhD,就是不用花钱就能上学吗？