Postdoctoral Research Associate

Found in: beBee S GB - 3 weeks ago


Exeter, United Kingdom University of Exeter Full time

Faculty of Environment, Science and Economy

The above full-time post of Postdoctoral Research Associate in Formal Methods for Business-Process-Driven Systems is available immediately, on a fixed term basis. This post is offered for an initial duration of 17 months (phase1), a further 18 months (phase 2) is reliant on successful implementation of phase 1 and additional funds being awarded.

This role offers the opportunity for hybrid working – some time on campus and some from home, and flexible work hours.

The post

The Security and Trust of Advanced Systems Group of the Computer Science Department of the University of Exeter wishes to appoint a Postdoctoral Research Associate so support the work of Professor Achim D. Brucker.

The successful candidate will apply formal methods (e.g., model checking, SMT solving, interactive theorem proving) to analyse business-process-driven (enterprise) systems (e.g., business logic and workflows described a BPMN models). A particular focus is the analysis of complex compositions of workflows within one organisation as well as across multiple organisation. The PDRA will develop novel techniques to detect faults and vulnerabilities (from both outsider and insider attackers) in complex business-process-driven systems, contributing to protecting critical workflows such as  manufacturing, infrastructure, 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 position is part of an US funded, collaborative research project, providing the opportunity to collaborate with partners in the USA and attending project meetings in the USA.

About you

The successful applicant will possess a relevant PhD (or be nearing completion) or an equivalent qualification/experience in computer science. They will be able to demonstrate good knowledge of the broader area of formal methods. This might include a background in formal specification languages (e.g., Alloy, TLA, Z, B); computational logic (e.g., HOL); model checking (e.g., NuSMV, PRISM, SPIN), SAT or SMT solvers (e.g., CVC5, Z3); verification tools (KeY, SPARK), or interactive theorem provers (e.g., Coq, Agda, Lean, Isabelle). Applicants will be able to present information on research progress and outcomes, and communicate complex information, orally, in writing and electronically.

Please ensure you read the Job Description and Person Specification (available on the university's website, accessed by the 'Apply' button) for full details of this role.

To find out more about what we offer our staff, please visit: Benefits | Prospective Staff | University of Exeter

The University of Exeter

We are a member of the prestigious Russell Group of research-intensive universities and in the top 150 universities in the world (Times Higher Education World University Rankings 2023 and the 2022 Academic Ranking of World Universities released by Shanghai Rankings).  

Our Equality, Diversity and Inclusion Commitment

Whilst all applicants will be judged on merit alone, we particularly welcome applications from groups currently underrepresented within our working community. Reasonable adjustments are available for interviews and workplaces.

With over 30,000 students and 7,000 staff from 150 different countries we offer a diverse and engaging environment where our diversity is celebrated and valued as a major strength.

Further information

For further information please contact Achim Brucker, e-mail a.brucker@exeter.ac.uk.

The starting salary will be from £32,982 on grade E, depending on qualifications and experience.


  • Postdoctoral Research Associate/Fellow in Biosciences

    Found in: beBee jobs GB - 1 week ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    This new full-time post is immediately available until 31 January 2028 on a fixed term basis.The post The Faculty wishes to recruit a Postdoctoral Research Associate or Postdoctoral Research Fellow to participate in unravelling the intricate cellular regulation of basement membrane (BM) growth and organisation. This Wellcome funded post is immediately...

  • Postdoctoral Research Associate/Fellow in Biosciences

    Found in: beBee S GB - 1 week ago


    Exeter, United Kingdom University of Exeter Full time

    This new full-time post is immediately available until 31 January 2028 on a fixed term basis. The post The Faculty wishes to recruit a Postdoctoral Research Associate or Postdoctoral Research Fellow to participate in unravelling the intricate cellular regulation of basement membrane (BM) growth and organisation. This Wellcome funded post is immediately...

  • Graduate Research Assistant/Postdoctoral Research Associate

    Found in: beBee jobs GB - 2 weeks ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    This new full time post is available from 3 June 2024 on a fixed term basis until 31 August 2025 (with a possibility of extension, subject to approval)The postThe Faculty wishes to recruit either a Graduate Research Assistant or Postdoctoral Research Associate to support the work of Dr Martin Eichmann. This Helmsley Charitable Trust funded post is available...


  • Exeter, United Kingdom University of Exeter Full time

    This new full time post is available from 3 June 2024 on a fixed term basis until 31 August 2025 (with a possibility of extension, subject to approval) The post The Faculty wishes to recruit either a Graduate Research Assistant or Postdoctoral Research Associate to support the work of Dr Martin Eichmann. This Helmsley Charitable Trust funded post is...


  • Exeter, Devon, United Kingdom University of Exeter Full time

    This new full-time post is immediately available until 31 January 2028 on a fixed term basis. The post The Faculty wishes to recruit a Postdoctoral Research Associate or Postdoctoral Research Fellow to participate in unravelling the intricate cellular regulation of basement membrane (BM) growth and organisation. This Wellcome funded post is immediately...

  • Postdoctoral Research Associate

    Found in: beBee jobs GB - 5 days ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    This new full-time post is immediately available until 30 September 2024 on a fixed term basis.We welcome applications from candidates interested in working part-time hours or job-sharing arrangements.This role offers the opportunity for hybrid working – some time on campus and some from home.The postThe Faculty wishes to recruit a Postdoctoral Research...

  • Postdoctoral Research Associate

    Found in: beBee S GB - 3 days ago


    Exeter, United Kingdom University of Exeter Full time

    This new full-time post is immediately available until 30 September 2024 on a fixed term basis. We welcome applications from candidates interested in working part-time hours or job-sharing arrangements. This role offers the opportunity for hybrid working – some time on campus and some from home. The post The Faculty wishes to recruit a Postdoctoral...


  • Exeter, United Kingdom University of Exeter Full time

    **Salary** The starting salary for Associate will be from £32,982 on Grade E. For Fellow it will be from £41,732 on Grade F, depending on qualifications and experience. **Contractual hours** 36.5 **Basis** Full-time **Package** Generous holiday allowances, flexible working, pension scheme and relocation package (if applicable). **Job...

  • Postdoctoral Research Fellow

    Found in: beBee S GB - 3 weeks ago


    Exeter, United Kingdom University of Exeter Full time

    Two new full time posts are available from 1 July 2024 on a fixed term basis until 31 December 2026. The post The Faculty wishes to recruit two Postdoctoral Research Fellow to participate in the EPSRC EP/W028301 project “Simplifying Quantum Computing: from theory to applications” and join the group of Dr. Luca Dellantonio in the Physics department. The...

  • Postdoctoral Research Fellow

    Found in: beBee jobs GB - 1 week ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    Two new full time posts are available from 1 July 2024 on a fixed term basis until 31 December 2026.The postThe Faculty wishes to recruit two Postdoctoral Research Fellow to participate in the EPSRC EP/W028301 project "Simplifying Quantum Computing: from theory to applications" and join the group of Dr. Luca Dellantonio in the Physics department. The project...

  • Postdoctoral Research Fellow

    Found in: beBee jobs GB - 1 week ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    This new full time post is available from 2 September 2024 on a fixed term basis until 1 September 2027.The postDr Kyle Wedgwood is seeking to recruit a Postdoctoral Research Fellow (PDRF) for a duration of 3 years starting 2 September 2024 as part of the UKRI Future Leaders Fellowship: "Using Mathematics to Disentangle the Role of Synaptic Communication."...

  • Postdoctoral Research Associate/Fellow

    Found in: beBee jobs GB - 2 weeks ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    Faculty of Environment, Science & Economy - Business SchoolLand, Environment, Economics and Policy InstituteThis post is available for researchers willing to embrace interdisciplinary working to produce impactful research into climate change mitigation and impacts as part of the Land, Environment, Economics and Policy (LEEP) Institute within the Department...

  • Postdoctoral Research Fellow

    Found in: beBee S GB - 3 weeks ago


    Exeter, United Kingdom University of Exeter Full time

    This new full time post is available from 2 September 2024 on a fixed term basis until 1 September 2027. The postDr Kyle Wedgwood is seeking to recruit a Postdoctoral Research Fellow (PDRF) for a duration of 3 years starting 2 September 2024 as part of the UKRI Future Leaders Fellowship: “Using Mathematics to Disentangle the Role of Synaptic...

  • Postdoctoral Research Associate/Fellow

    Found in: beBee S GB - 3 weeks ago


    Exeter, United Kingdom University of Exeter Full time

    Faculty of Environment, Science & Economy - Business School Land, Environment, Economics and Policy Institute This post is available for researchers willing to embrace interdisciplinary working to produce impactful research into climate change mitigation and impacts as part of the Land, Environment, Economics and Policy (LEEP) Institute within the Department...


  • Exeter, Devon, United Kingdom Economicsnetwork Full time

    Faculty of Environment, Science & Economy - Business School Land, Environment, Economics and Policy Institute This post is available for researchers willing to embrace interdisciplinary working to produce impactful research into climate change mitigation and impacts as part of the Land, Environment, Economics and Policy (LEEP) Institute within the...


  • Exeter, United Kingdom Royal Devon University Healthcare NHS Foundation Trust Full time

    The purpose of this role is to work with the Senior Research Associate to provide support for study set up in primary care, community and non-NHS settings including care homes. The person within this role will be expected to provide a high standard of professional service working across multiple health and care organisations across the South West Peninsula.

  • Postdoctoral Research Impact Fellow

    Found in: beBee S GB - 3 weeks ago


    Exeter, United Kingdom University of Exeter Full time

    Faculty of Environment, Science and Economy This Economic & Social Research Council (ESRC) funded, full time role is available immediately for 1 year in the first instance, with a potential extension until the end of the ACCESS project (31st January 2027) subject to evaluation of project needs and circumstances. We welcome applications from candidates...

  • Postdoctoral Research Impact Fellow

    Found in: beBee jobs GB - 3 weeks ago


    Exeter, Devon, United Kingdom University of Exeter Full time

    Faculty of Environment, Science and EconomyThis Economic & Social Research Council (ESRC) funded, full time role is available immediately for 1 year in the first instance, with a potential extension until the end of the ACCESS project (31st January 2027) subject to evaluation of project needs and circumstances.We welcome applications from candidates...

  • Professor-United Kingdom

    Found in: beBee S GB - 3 weeks ago


    Exeter, United Kingdom Tech Talents Full time

    Position: Positions are open at five distinct ranks: Postdoctoral Fellow,Assistant Professor, Associate Professor, Full Professor, and Chair Professor. Responsibilities and Duties Applicants will have extensive teaching experience, have published high quality papers in their area of expertise, have been successful in obtaining research grants, and have...

  • Research Assistant

    2 days ago


    Exeter, United Kingdom Devon Partnership NHS Trust Full time

    To maintain and build good working relationships with senior professional staff and managers in the Trust. Planning and Organisational Skills To plan and prioritise own workload. To provide relevant knowledge to the planning, development and delivery of research projects. Responsibility for Patient/Client Care, Treatment and Therapy Liaise with the members...