PhD student position in Critical Software-Intensive Systems placed at the Department of Computer and Information Science, Linköping University.
Your work assignments
The planned research aims to significantly enhance software quality assurance for machine learning (ML) programs written using popular ML libraries (e.g., TensorFlow, scikit-learn, etc.) by various static analysis techniques (such as type checking, anti-pattern detection, etc). You will develop mathematically well-founded, scalable techniques and effective software tools to detect flaws in ML programs prior to executing such programs. Your involvement in the development and maintenance of a related open-source software project is foreseen in close collaboration with other researchers and graduate students in Sweden, Canada and Hungary.