As part of an US funded project, we have an exciting opportunity for a PostDoc to work applying formal methods to enterprise systems: We will develop techniques to detect faults and vulnerabilities (from both outsider and insider attackers) in complex business-process-driven systems, contributing to
protecting critical workflows such as manufacturing, or logistics.

Website: https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=171839ediw&LANG=USA&VACANCY_ID=386422ijTy
Email: a.brucker@exeter.ac.uk