1 Environment positions at The University of Exeter in US in United Kingdom

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

, contributing to protecting critical workflows such as manufacturing or logistics. In such environments, attackers can exploit such faults and vulnerabilities to cause all kinds of harm such as direct financial