Post-Doc in using Formal Methods for finding security vulnerabilities in Business Process Logic

Job Posting: Post-Doc in using Formal Methods for finding security vulnerabilities in Business Process Logic

University of Exeter, Department of Computer Science, Exeter, England, UK

As part of a US funded project, we have an exciting opportunity for a PostDoc in
the Security and Trust of Advanced Systems Group at the University of Exeter
(UK) to work applying formal methods to enterprise systems:

We will use formal methods (e.g., model checking, SMT solving, interactive
theorem proving), to analyze business-process-driven (enterprise) …

advanced business computer computer science department doc england exciting job job posting logic opportunity process project science security trust university vulnerabilities