?? Multiple fully-funded PhD positions in Computer Science at Singapore Management University!I have multiple openings for motivated PhD students interested in Formal Methods and their applications to either- Trustworthy AI and Safe Autonomy, or- Program Analysis and Verification.Interested in pushing the boundaries of theory and automation of safe and trustworthy AI and software? Then come join us at SMU! The next application deadline is January 31, 2025, for the Fall 2025 intake. PhD programme at SMU: https://lnkd.in/gt9zeGsBApply here: https://lnkd.in/g9ZRZ29fPersonal website: https://lnkd.in/giEmXz35Singapore 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.hashtag#hiring hashtag#PhD hashtag#computerscience…more