Postdoctoral Research Associate

Faculty of Environment, Science and Economy

The above full-time post of Postdoctoral Research Associate in Formal Methods for Business-Process-Driven Systems is available immediately, on a fixed term basis. This post is offered for an initial duration of 17 months (phase1), a further 18 months (phase 2) is reliant on successful implementation of phase 1 and additional funds being awarded.

This role offers the opportunity for hybrid working – some time on campus and some from home, and flexible work hours.

The post

The Security and Trust of Advanced Systems Group of the Computer Science Department of the University of Exeter wishes to appoint a Postdoctoral Research Associate so support the work of Professor Achim D. Brucker.

The successful candidate will apply formal methods (e.g., model checking, SMT solving, interactive theorem proving) to analyse business-process-driven (enterprise) systems (e.g., business logic and workflows described a BPMN models). A particular focus is the analysis of complex compositions of workflows within one organisation as well as across multiple organisation. The PDRA will develop novel 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, infrastructure, or logistics. In such environments, attackers can exploit such faults and vulnerabilities to cause all kinds of harm such as direct financial losses or causing the production of safety or security critical products to stop. Overall, the project aims to develop automated techniques for assessing the risk of business process or workflows as well as finding and mitigating such attacks.

This position is part of an US funded, collaborative research project, providing the opportunity to collaborate with partners in the USA and attending project meetings in the USA.

About you

The successful applicant will possess a relevant PhD (or be nearing completion) or an equivalent qualification/experience in computer science. They will be able to demonstrate good knowledge of the broader area of formal methods. This might include a background in formal specification languages (e.g., Alloy, TLA, Z, B); computational logic (e.g., HOL); model checking (e.g., NuSMV, PRISM, SPIN), SAT or SMT solvers (e.g., CVC5, Z3); verification tools (KeY, SPARK), or interactive theorem provers (e.g., Coq, Agda, Lean, Isabelle). Applicants will be able to present information on research progress and outcomes, and communicate complex information, orally, in writing and electronically.

Please ensure you read the Job Description and Person Specification (available on the university's website, accessed by the 'Apply' button) for full details of this role.

To find out more about what we offer our staff, please visit: Benefits | Prospective Staff | University of Exeter

The University of Exeter

We are a member of the prestigious Russell Group of research-intensive universities and in the top 150 universities in the world (Times Higher Education World University Rankings 2023 and the 2022 Academic Ranking of World Universities released by Shanghai Rankings).  

Our Equality, Diversity and Inclusion Commitment

Whilst all applicants will be judged on merit alone, we particularly welcome applications from groups currently underrepresented within our working community. Reasonable adjustments are available for interviews and workplaces.

With over 30,000 students and 7,000 staff from 150 different countries we offer a diverse and engaging environment where our diversity is celebrated and valued as a major strength.

Further information

For further information please contact Achim Brucker, e-mail a.brucker@exeter.ac.uk.

Advert information