Postdoctoral Research Associate

College of Atmosphere, Science and Financial system

The above full-time publish of Postdoctoral Analysis Affiliate in Formal Strategies for Enterprise-Course of-Pushed Programs is on the market instantly, on a set time period foundation. This publish is obtainable for an preliminary length of 17 months (phase1), an extra 18 months (part 2) is reliant on profitable implementation of part 1 and extra funds being awarded.

This function provides the chance for hybrid working – a while on campus and a few from house. The function additionally provides versatile work hours.

The publish

The Safety and Belief of Superior Programs Group of the Pc Science Division of the College of Exeter needs to nominate a Postdoctoral Analysis Affiliate so assist the work of Professor Achim D. Brucker.

The profitable candidate will apply formal strategies (e.g., mannequin checking, SMT fixing, interactive theorem proving) to analyse business-process-driven (enterprise) programs (e.g., enterprise logic and workflows described a BPMN fashions). A selected focus is the evaluation of complicated compositions of workflows inside one organisation in addition to throughout a number of organisation. The PDRA will develop novel methods to detect faults and vulnerabilities (from each outsider and insider attackers) in complicated business-process-driven programs, contributing to defending crucial workflows equivalent to  manufacturing, infrastructure, or logistics. In such environments, attackers can exploit such faults and vulnerabilities to trigger all types of hurt equivalent to direct monetary losses or inflicting the manufacturing of security or safety crucial merchandise to cease. Total, the mission goals to develop automated methods for assessing the danger of enterprise course of or workflows in addition to discovering and mitigating such assaults.

This place is a part of an US funded, collaborative analysis mission, offering the chance to collaborate with companions within the USA and attending mission conferences within the USA.

About you

The profitable applicant will possess a related PhD (or be nearing completion) or an equal qualification/expertise in laptop science. They are going to have the ability to show good data of the broader space of formal strategies. This may embrace a background in formal specification languages (e.g., Alloy, TLA, Z, B); computational logic (e.g., HOL); mannequin checking (e.g., NuSMV, PRISM, SPIN), SAT or SMT solvers (e.g., CVC5, Z3); verification instruments (KeY, SPARK), or interactive theorem provers (e.g., Coq, Agda, Lean, Isabelle). Candidates will have the ability to current data on analysis progress and outcomes, and talk complicated data, orally, in writing and electronically.

Please make sure you learn the Job Description and Individual Specification (accessible on the college’s web site, accessed by the ‘Apply’ button) for full particulars of this function.

What we are able to give you

• You’ll be a part of a crew that’s captivated with utilizing and increasing formal-methods instruments, and that can assist your in deepening and broaden your formal strategies talent.
• You’ll be a part of an internationally nicely linked analysis group that can assist you in pursuing your profession objectives.
• A powerful assist community for Early Profession Researchers.
• A mess of workers advantages together with sector main advantages round maternity, adoption and shared parental depart (as much as 26 weeks full pay), Paternity depart (as much as 6 weeks full pay), and a Fertility Remedy Coverage
• A stupendous campus set within the coronary heart of beautiful Devon

The College of Exeter

We’re a member of the distinguished Russell Group of research-intensive universities and within the high 150 universities on the earth (Instances Greater Training World College Rankings 2023 and the 2022 Educational Rating of World Universities launched by Shanghai Rankings).  

Our analysis earnings in recent times means we’re the quickest rising UK Analysis College with a few of the world’s most influential scientists, and we search to reply a few of the most basic points dealing with humankind at present. Greater than % of our analysis is of worldwide high quality and our world-leading analysis impression is rising quicker than another Russell Group college (2021 Analysis Excellence Framework). We’re utilizing the facility of our schooling and analysis to create a sustainable, wholesome and socially simply future.  Our shared function and imaginative and prescient regularly strikes us ahead to make a distinction to our folks, our communities, our companions and the world round us.  Examine our world main analysis on Inexperienced Futures and the way we’re remodeling schooling for a altering world. We’re situated in a fantastic a part of the nation and Exeter (a quick rising tech hub) is certainly one of only some UK cities to have been designated as a UNESCO Metropolis of Literature

Our Equality, Range and Inclusion Dedication

While all candidates can be judged on benefit alone, we notably welcome functions from teams at the moment underrepresented inside our working group. Affordable changes can be found for interviews and workplaces.

With over 30,000 college students and seven,000 workers from 150 completely different nations we provide a various and fascinating atmosphere the place our range is well known and valued as a significant power. We’re dedicated to creating an inclusive tradition the place all members of our group are supported to thrive; the place various voices are heard by our engagement with evidence-based constitution frameworks for gender (Athena SWAN and Challenge Juno for Physics), race equality (Race Equality Constitution Mark), LGBTQ+ inclusion (Stonewall Range Champion) and as a Incapacity Assured employer.

We’re proud signatories of the Armed Forces Covenant and welcome functions from service folks.

Additional data

For additional data please contact Achim Brucker, e-mail [email protected] .