PhD Candidate on Formal Methods for Safe AI- NL
- Hiring Organisation
- Universiteit Leiden
- Location
- Leiden, Zuid-Holland, Netherlands
- Employment Type
- Permanent
- Salary
- EUR Annual
Computer-aided verification of AI systems connects the fields of formal methods, machine learning and software engineering. It combines classical symbolic verification methods such as model checking and Boolean satisfiability solving as well as novel machine learning methods for safe and trustworthy AI. In this PhD project, you will … learning-enabled systems. What You Will Do The PhD student will be embedded in the Theory cluster at the Leiden Institute of Advanced Computer Science, supervised by Dr. Emily Yu and Prof. Marcello Bonsangue at the Veritas lab. The successful candidate will conduct original and novel research developing ...