(New) PhD position in Formal Methods for Safe AI at Leiden University [NL]

This PhD project is at the intersection of verification and machine learning and covers both the analysis of software and cyber-physical systems and the analysis of learning-enabled systems.

Computer-aided verification of AI systems connects the fields of formal methods, machine learning and software engineering. It combines classical symbolic verification methods as well as novel machine learning methods for safe and trustworthy AI. Potential research topics include, but are not limited to, developing methods to guarantee that cyber-physical systems with deep learning components are safe and ensuring that software and hardware components are correct.