The Department of Computer and Information Science, Linköping University, is looking for a PhD student in Computer Science within Formal Verification and Machine Learning.
Project Description
The project is about “Machine Learning with Safety Guarantees”. Despite their appeal, applications of machine learning to safety-critical systems still lack suitable techniques to formally establish correctness. The project aims to develop a framework that integrates adversarial machine learning and well-founded verification approaches and to enable formal guarantees on the behaviors of machine learning powered safety-critical systems. The project is a collaboration between well-established research groups from Linköping and Lund universities. You will evolve in a world-class research environment at Linköping University where research is performed in close cooperation with several internationally recognized research groups and industrial partners. The project is part of the largest national research investment in Sweden, WASP.