Hello Codeforces community,

There are multiple openings for motivated PhD students who wish to push the boundaries of theory and automation of safe and trustworthy software and AI, under the supervision of Assistant Prof. Djordje Zikelic (https://djordjezikelic.github.io/). The positions are fully funded. You will conduct both theoretical and empirical research on designing novel algorithms for verifying correctness of programs and of AI systems. You will also contribute to publishing and presenting research findings at premier conferences in formal methods, AI/ML and programming languages (our group has an excellent track record in all these fields). Possible PhD topics include:

• Formal methods for probabilistic systems

• Formal methods for trustworthy AI and safe autonomy

• Program analysis and verification

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 very strong groups in formal methods, software engineering and AI. It is ranked worldwide No. 4 in the Software Engineering category, No. 32 in the broad AI category, and No. 71 in general “Computer Science” according to CSRankings in 2024.

More details on the positions: https://djordjezikelic.github.io/openings/

Personal website: https://djordjezikelic.github.io/

PhD programme at SMU: https://computing.smu.edu.sg/phd

Contact: dzikelic@smu.edu.sg