1 Education positions at The University of Exeter in US

PostDoc Position in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems

organizations. In particular, we will develop novel techniques to detect faults and vulnerabilities (that can be exploited by both internal and external attackers) in complex business-process-driven systems