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

28 Mar 2024
Job Information

Organisation/Company

The University of Exeter

Department

College of Engineering, Mathematics and Physical Sciences

Research Field

Computer science » Modelling tools
Computer science » Computer systems
Computer science » Informatics
Computer science » Programming

Researcher Profile

First Stage Researcher (R1)
Recognised Researcher (R2)

Country

United Kingdom

Application Deadline

18 Apr 2024 - 23:59 (Europe/London)

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:

• https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=171839ediw&LANG=USA&VACANCY_ID=386422ijTy

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

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=1718…

Contact

State/Province

Devon

City

Exeter

Website

https://computerscience.exeter.ac.uk/staff/ab1185?sm=ab1185

E-Mail

[email protected]

STATUS: EXPIRED