Hello Codeforces Community! ‌

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. Master degree or 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. It is ranked #58 in the world overall, #21 in the world in Artificial Intelligence, and #3 in the world in Software Engineering, according to CSRankings 2019-2024.

Application deadline: June 30

More details: https://djordjezikelic.github.io/openings/

Application website and required documents: https://computing.smu.edu.sg/phd/online-application