Expires on: 04/18/2024
Description
The University of Exeter is seeking a Postdoctoral Research Associate in Formal Methods for Business-Process-Driven Systems to join the Security and Trust of Advanced Systems Group. This full-time, hybrid position offers the opportunity to apply formal methods to analyze complex business-process-driven systems, contributing to protecting critical workflows such as manufacturing, infrastructure, or logistics. The successful candidate will collaborate on a US-funded research project and join an internationally connected research group.
The Postdoctoral Research Associate will apply formal methods to analyze business-process-driven systems, focusing on detecting faults and vulnerabilities. Responsibilities include developing novel techniques, collaborating with US partners, and contributing to project meetings. This role offers hybrid working options and flexible hours.
Qualifications
- Relevant PhD or nearing completion in computer science or related field.
- Good knowledge of formal methods, including formal specification languages, computational logic, model checking, SAT or SMT solvers, verification tools, or interactive theorem provers.
- Ability to present research progress and outcomes effectively.
- Excellent communication skills in English.
How to Apply
: Interested candidates should apply online by April 18, 2024. The application should include a cover letter, an up-to-date CV, a detailed list of publications, a sample of academic work, names of two references, and a research proposal. Please ensure to read the Job Description and Person Specification available on the university’s website