Postdoctoral Research Associate

Job title:

Postdoctoral Analysis Affiliate

Firm

College of Exeter

Job description

School of Setting, Science and Economic systemThe above full-time publish of Postdoctoral Analysis Affiliate in Formal Strategies for Enterprise-Course of-Pushed Programs is accessible instantly, on a set time period foundation. This publish is obtainable for an preliminary period of 17 months (phase1), an additional 18 months (part 2) is reliant on profitable implementation of part 1 and extra funds being awarded.This position presents the chance for hybrid working – a while on campus and a few from house. The position additionally presents versatile work hours.The publishThe of the Pc Science Division of the College of Exeter needs to nominate a Postdoctoral Analysis Affiliate so help 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 advanced compositions of workflows inside one organisation in addition to throughout a number of organisation. The PDRA will develop novel strategies to detect faults and vulnerabilities (from each outsider and insider attackers) in advanced business-process-driven programs, contributing to defending essential workflows akin to manufacturing, infrastructure, or logistics. In such environments, attackers can exploit such faults and vulnerabilities to trigger all types of hurt akin to direct monetary losses or inflicting the manufacturing of security or safety essential merchandise to cease. Total, the undertaking goals to develop automated strategies for assessing the chance 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 undertaking, offering the chance to collaborate with companions within the USA and attending undertaking conferences within the USA.About youThe profitable applicant will possess a related PhD (or be nearing completion) or an equal qualification/expertise in pc science. They are going to be capable of display good information of the broader space of formal strategies. This may embody 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 be capable of current info on analysis progress and outcomes, and talk advanced info, 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 position.What we will give you

• You’ll be a part of a staff that’s smitten by utilizing and lengthening formal-methods instruments, and that may help your in deepening and broaden your formal strategies ability.
• You’ll be a part of an internationally effectively related analysis group that may help you in pursuing your profession objectives.
• A powerful help community for Early Profession Researchers.
• A mess of employees advantages together with sector main advantages round

(as much as 26 weeks full pay), Paternity go away (as much as 6 weeks full pay), and a Fertility Remedy Coverage * A gorgeous campus set within the coronary heart of beautiful DevonThe College of ExeterWe’re a member of the celebrated Russell Group of research-intensive universities and within the high 150 universities on this planet (Instances Larger Schooling World College Rankings 2023 and the 2022 Tutorial Rating of World Universities launched by Shanghai Rankings).Our analysis earnings lately means we’re the quickest rising UK Analysis College with a number of the world’s most influential scientists, and we search to reply a number of the most basic points dealing with humankind in the present day. Greater than p.c 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 ability of our schooling and analysis to create a sustainable, wholesome and socially simply future. Our shared function and imaginative and prescient frequently strikes us ahead to make a distinction to our individuals, our communities, our companions and the world round us. Examine our world main analysis on and the way we’re for a altering world. We’re situated in a ravishing a part of the nation and Exeter (a quick rising tech hub) is considered one of only some UK cities to have been designated as aOur Equality, Range and Inclusion DedicationWhile all candidates might be judged on benefit alone, we significantly welcome purposes from teams at the moment underrepresented inside our working group. Cheap changes can be found for interviews and workplaces.With over 30,000 college students and seven,000 employees from 150 totally different international locations we provide a various and interesting setting the place our variety is widely known and valued as a significant energy. 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 means of our engagement with evidence-based constitution frameworks for gender (Athena SWAN and Mission 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 and welcome purposes from service individuals.Additional infoFor additional info please contact Achim Brucker, e-mail .Job title Postdoctoral Analysis Affiliate Job reference P92405 Date posted 21/03/2024 Software deadline 18/04/2024 Location Exeter (Hybrid) Wage The beginning wage might be from £32,982 on grade E, relying on {qualifications} and expertise. Bundle Beneficiant vacation allowances, versatile working, pension scheme and relocation package deal (if relevant). Contractual hours 36.5 Foundation Full-time Job class/kind Analysis Attachments Job descriptionSchool of Setting, Science and Economic systemThe above full-time publish of Postdoctoral Analysis Affiliate in Formal Strategies for Enterprise-Course of-Pushed Programs is accessible instantly, on a set time period foundation. This publish is obtainable for an preliminary period of 17 months (phase1), an additional 18 months (part 2) is reliant on profitable implementation of part 1 and extra funds being awarded.This position presents the chance for hybrid working – a while on campus and a few from house. The position additionally presents versatile work hours.The publishThe of the Pc Science Division of the College of Exeter needs to nominate a Postdoctoral Analysis Affiliate so help 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 advanced compositions of workflows inside one organisation in addition to throughout a number of organisation. The PDRA will develop novel strategies to detect faults and vulnerabilities (from each outsider and insider attackers) in advanced business-process-driven programs, contributing to defending essential workflows akin to manufacturing, infrastructure, or logistics. In such environments, attackers can exploit such faults and vulnerabilities to trigger all types of hurt akin to direct monetary losses or inflicting the manufacturing of security or safety essential merchandise to cease. Total, the undertaking goals to develop automated strategies for assessing the chance 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 undertaking, offering the chance to collaborate with companions within the USA and attending undertaking conferences within the USA.About youThe profitable applicant will possess a related PhD (or be nearing completion) or an equal qualification/expertise in pc science. They are going to be capable of display good information of the broader space of formal strategies. This may embody 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 be capable of current info on analysis progress and outcomes, and talk advanced info, 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 position.What we will give you

• You’ll be a part of a staff that’s smitten by utilizing and lengthening formal-methods instruments, and that may help your in deepening and broaden your formal strategies ability.
• You’ll be a part of an internationally effectively related analysis group that may help you in pursuing your profession objectives.
• A powerful help community for Early Profession Researchers.
• A mess of employees advantages together with sector main advantages round

(as much as 26 weeks full pay), Paternity go away (as much as 6 weeks full pay), and a Fertility Remedy Coverage * A gorgeous campus set within the coronary heart of beautiful DevonThe College of ExeterWe’re a member of the celebrated Russell Group of research-intensive universities and within the high 150 universities on this planet (Instances Larger Schooling World College Rankings 2023 and the 2022 Tutorial Rating of World Universities launched by Shanghai Rankings).Our analysis earnings lately means we’re the quickest rising UK Analysis College with a number of the world’s most influential scientists, and we search to reply a number of the most basic points dealing with humankind in the present day. Greater than p.c 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 ability of our schooling and analysis to create a sustainable, wholesome and socially simply future. Our shared function and imaginative and prescient frequently strikes us ahead to make a distinction to our individuals, our communities, our companions and the world round us. Examine our world main analysis on and the way we’re for a altering world. We’re situated in a ravishing a part of the nation and Exeter (a quick rising tech hub) is considered one of only some UK cities to have been designated as aOur Equality, Range and Inclusion DedicationWhile all candidates might be judged on benefit alone, we significantly welcome purposes from teams at the moment underrepresented inside our working group. Cheap changes can be found for interviews and workplaces.With over 30,000 college students and seven,000 employees from 150 totally different international locations we provide a various and interesting setting the place our variety is widely known and valued as a significant energy. 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 means of our engagement with evidence-based constitution frameworks for gender (Athena SWAN and Mission Juno for Physics), race equality (Race Equality Constitution Mark), LGBTQ+ inclusion (Stonewall Range Champion) and as a Incapacity Assured employer.

Anticipated wage

£32982 per yr

Location

Exeter

Job date

Sat, 23 Mar 2024 01:44:44 GMT

To assist us monitor our recruitment effort, please point out in your electronic mail/cowl letter the place (globalvacancies.org) you noticed this job posting.