PhD position on formalising Digital forensics, Heerlen (Netherlands)

The Open Universiteit is looking for a PhD student to work on formalising foundations for digital forensics. The project is part of a collaboration between the Dutch Forensic Institute (NFI) and the Open Universiteit. The student will be supervised by prof. Harm van Beek and dr. ir. Hugo Jonker. Applicants are expected to be fluent in either Dutch and/or English.