Job Information
- Organisation/Company
- The University of Exeter
- Department
- College of Engineering, Mathematics and Physical Sciences
- Research Field
- Computer science » Modelling toolsComputer science » Computer systemsComputer science » InformaticsComputer science » Programming
- Researcher Profile
- First Stage Researcher (R1)Recognised Researcher (R2)
- Country
- United Kingdom
- Application Deadline
- Type of Contract
- Temporary
- Job Status
- Full-time
- Is the job funded through the EU Research Framework Programme?
- Not funded by an EU programme
- Is the Job related to staff position within a Research Infrastructure?
- No
Offer Description
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) systems (e.g., business logic and workflows described a BPMN models). A particular focus will be the analysis of complex compositions of workflows within one organization as well as across multiple 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, 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 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 is a unique opportunity for somebody wanting to use/apply formal methods to the security of large enterprise systems.
More information and application details can be found at:
Requirements
- Research Field
- Computer science » Other
- Education Level
- PhD or equivalent
- Languages
- ENGLISH
- Level
- Good
- Research Field
- Computer science » OtherComputer science » Programming
- Years of Research Experience
- 1 - 4
Additional Information
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- University of Exeter
- Country
- United Kingdom
- City
- Exeter
- Postal Code
- EX4 4SB
- Street
- Prince of Wales Road
- Geofield
Where to apply
- Website
Contact
- State/Province
- Devon
- City
- Exeter
- Website
- a.brucker@exeter.a.cuk