The Department of Computer and Information Science was founded in 1983 but its roots go back to the early 1970s. It is one of the largest computer science departments in northern Europe.
Our research covers a broad spectrum of fields, from core to applied computer sciences. Its vast scope also benefits our undergraduate and graduate programmes, and we now teach courses in several engineering programmes at bachelor’s and master’s levels, as well as the programmes in statistics, cognitive science and innovative programming.
Read more at https://liu.se/en/organisation/liu/ida
LINKÖPING UNIVERSITYHereby advertises
up to two (2) Postdoc positions within Computer Science distributed between AI and formal verification (WASP) and Security in Critical Infrastructure (RICS)
formally based at Dept. of Computer and Information Science
DutiesA Postdoc will essentially carry out research. The position may also involve teaching, but during no more than a fifth of work time.
The postdoctoral researchers are expected to contribute to our collaborations both nationally and internationally.
AI and Machine Learning project - WASP:
One postdoc position is financed by the national WASP research program aiming to promote AI and machine learning (ML) in autonomous systems. This postdoctoral researcher will contribute to making machine learning systems outcomes explainable so that they can be relied upon in safety-critical contexts e.g. automotive. This project is driven in collaboration with Chalmers and Singapore NanYang Technological University and aims to create symbolic abstractions of training data and classification outcomes of deep learning systems in order to support formal verification of robustness and metamorphic testing of the resulting autonomous systems. This postdoc will collaborate with a PhD student already active within formal verification of ML systems in avionics.
Security in Critical Infrastructures project - RICS:
One postdoc will apply machine learning systems to classification and analysis of network data so that anomalous data flows can be identified and analysed. This research is carried out in the context of the long term national RICS program where security in critical infrastructure is the focus. The work of this postdoc will be carried out in collaboration with existing PhD and Master students as well as through participation in building up the national research testbed for critical infrastructure protection at the Defence Research agency (FOI).
For more information, see announcement and application link:
Linköping University will continue to develop as an attractive and creative place of work, characterized by equal terms and actively works for equality and diversity.
We look forward to receiving your application!
Linköping university has framework agreements and wishes to decline direct contacts from staffing- and recruitment companies as well as from vendors of job advertisements.