Postdoctoral Research Associate in Verification

2 months ago


Liverpool, United Kingdom University of Liverpool Full time

We are seeking to recruit a motivated and research-focused research associate to carry out research in the foundation of security as part of the EPSRC project TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development with Sven Schewe and Dominik Wojtczak. You will enjoy developing theories for contracts to reason about the security of programs. This includes how to abstract, refine, and compose them to increase scalability and precision and to analyse cross-language information flow. The position focusses on high-joy research in synthesising cutting edge algorithms from our knowledge domain with those of our partners, especially Narges Khakpour (Newcastle), who leads our sister project, our visiting researchers (Swen Jacobs, CISPA and Musard Balliu, KTH), and our industry partners from Google Research and OCamlPro.

You should have, or be about to obtain, a PhD in Verification, Theoretical Computer Science, Mathematics, or a closely related field together with an excellent track record of international publications. Examples of fields of interest are:
Model checking tools and algorithms,
Logics and verification techniques,
Related automata theory / solving their underlying games, and
Assume-Guarantee Reasoning.

You will have excellent verbal and written communication skills, be able to organise your own work with mínimal supervision and prioritise work to meet deadlines. Most importantly, you will have fun toying around with formal structures and pushing algorithmic ideas to their limit with us.

The post is available from 1 September 2023 until 31 August 2026.

Any applicants who are still awaiting their PhD to be awarded should be aware that if successful, they will be appointed at grade 6, spine point 30. Upon written confirmation that they have been successful in being awarded their PhD, they will be moved onto grade 7, spine point 31 from the date of their award



  • Liverpool, United Kingdom Liverpool in Work Full time

    Details THE UNIVERSITY OF LIVERPOOL HUMANITIES AND SOCIAL SCIENCES (HSS) SCHOOL OF THE ARTS DEPARTMENT OF ARCHITECTURE POSTDOCTORAL RESEARCH ASSOCIATE - ARCHITECTURAL HISTORY GRADE 7 style="font-size: 12pt;"> £38,205 pa (pro rata) Following a successful grant application to the UK Arts and Humanities Research Council we are seeking to recruit one...


  • Liverpool, United Kingdom Liverpool in Work Full time

    Details THE UNIVERSITY OF LIVERPOOL HUMANITIES AND SOCIAL SCIENCES (HSS) SCHOOL OF THE ARTS DEPARTMENT OF ARCHITECTURE POSTDOCTORAL RESEARCH ASSOCIATE - ARCHITECTURAL HISTORY GRADE 7 style="font-size: 12pt;"> £38,205 pa (pro rata) Following a successful grant application to the UK Arts and Humanities Research Council we are seeking to recruit one...


  • Liverpool, United Kingdom University of Liverpool Full time

    We have an exciting opportunity for a Postdoctoral Research Associate to work on an applied project of using Hidden Markov and Automata Theory models for intruder detection and identification in computer networks. The aim of this DSTL-funded project is to generalise the existing theoretical models and implement them into a demonstration tool that would...


  • Liverpool, United Kingdom Springer Nature Full time

    **POSTDOCTORAL RESEARCH ASSOCIATE IN STRUCTURE DETERMINATION OF NEW INORGANIC MATERIALS - GRADE 7**: - Employer- University of Liverpool- Location- Liverpool- Salary- £38,205 - £44,264 pa- Closing date- 26 Mar 2024- Discipline Engineering, Environmental Science, Life Science Job Type Postdoctoral, Researcher Employment - Hours Full time Duration ...


  • Liverpool, United Kingdom Springer Nature Full time

    **POSTDOCTORAL RESEARCH ASSOCIATE IN ADVANCED CHARACTERISATION OF NEW INORGANIC MATERIALS**: - Employer- People Scout- Location- Liverpool, Merseyside (GB)- Salary- £38,205 - £44,264 pa- Closing date- 5 Mar 2024- Discipline Chemistry Job Type Postdoctoral Employment - Hours Full time Duration Permanent Qualification PhD Sector Academia- You...


  • Liverpool, United Kingdom University of Liverpool Full time

    We are seeking a Postdoctoral Research Associate to develop and optimise a novel preclinical model of metastatic uveal melanoma which will then be utilised to investigate cellular interactions in the tumour microenvironment and the effects of relevant therapeutics. You will join a highly motivated research team interested in fundamental and translational...


  • Liverpool, United Kingdom University of Liverpool Full time

    We are seeking a Postdoctoral Research Associate to develop and optimise a novel preclinical model of metastatic uveal melanoma which will then be utilised to investigate cellular interactions in the tumour microenvironment and the effects of relevant therapeutics. You will join a highly motivated research team interested in fundamental and translational...


  • Liverpool, United Kingdom University of Liverpool Full time

    Applications are invited for a Postdoctoral Research Associate position in the Department of Mathematics at the University of Liverpool. You will work under the supervision of Dr Andreas Alpers. The position is funded by Dr Alpers¿ E.P.S.R.C New Investigator Award project “Optimal Grain Diagrams: Mathematical Analysis and Algorithms”. You will...


  • Liverpool, Liverpool, United Kingdom University of Liverpool Full time

    The Department of History seeks to recruit a Postdoctoral Research Associate as part of the Fritz-Thyssen-Foundation Award project "Massacre and the Law. Atrocity, The Holy Roman Empire, and the Thirty Years War". This interdisciplinary project investigates how the escalation of excessive violence and atrocity during the Thirty Years War affected normative...


  • Liverpool, Liverpool, United Kingdom University of Liverpool Full time

    The Department of History seeks to recruit a Postdoctoral Research Associate as part of the Fritz-Thyssen-Foundation Award project "Massacre and the Law. Atrocity, The Holy Roman Empire, and the Thirty Years War". This interdisciplinary project investigates how the escalation of excessive violence and atrocity during the Thirty Years War affected normative...


  • Liverpool, United Kingdom University of Liverpool Full time

    The Department of Livestock and One Health is seeking to appoint a Postdoctoral Research Associate to join the Ruminant Research Group. You will join a multidisciplinary research group and will work on our BBSRC-funded project, Genetic and management solutions for lameness-associated endemic diseases in dairy cattle. You will collate lameness associated...


  • Liverpool, United Kingdom University of Liverpool Full time

    We invite applications for a full-time postdoctoral research associate to join our cross-institutional team of psychologists working on an exciting, applied research project. Building on our earlier funded research this project will look to design, test and disseminate new, psychologically informed team training with the goal of promoting greater...


  • Liverpool, United Kingdom University of Liverpool Full time

    We invite applications for a full-time postdoctoral research associate to join our cross-institutional team of psychologists working on an exciting, applied research project. Building on our earlier funded research this project will look to design, test and disseminate new, psychologically informed team training with the goal of promoting greater...


  • Liverpool, United Kingdom University of Liverpool Full time

    We are looking to recruit a Postdoctoral Research Associate for the duration of up to 24 months for this post which is available to commence on 1st January 2024. The project is funded by The European & Developing Countries Clinical Trials Partnership (EDCTP) and the aim of the project will be to study and prevent HIV-1 mother to child transmission via...


  • Liverpool, United Kingdom University of Liverpool Full time

    A Postdoctoral Research Associate (PDRA) position is available immediately in the department of Chemistry, as part of the research groups of Professor Andrew Cooper FRS and Professor Anna Slater. We are looking to recruit a PDRA to join a collaborative project funded by the UK Atomic Energy Authority in partnership with Atkins and the National Physical...


  • Liverpool, Liverpool, United Kingdom University of Liverpool Full time

    This is an exciting opportunity for a talented, organised and highly motivated individual to join the team as a Postdoctoral Research Associate (PDRA) on an MRC funded translational research project in the Department of Eye and Vision Sciences at the University of Liverpool. This multidisciplinary project will develop a novel cell bandage to treat persistent...


  • Liverpool, Liverpool, United Kingdom University of Liverpool Full time

    This is an exciting opportunity for a talented, organised and highly motivated individual to join the team as a Postdoctoral Research Associate (PDRA) on an MRC funded translational research project in the Department of Eye and Vision Sciences at the University of Liverpool. This multidisciplinary project will develop a novel cell bandage to treat persistent...


  • Liverpool, United Kingdom University of Liverpool Full time

    The Hadronic Matter Group of the Physics Department is seeking a Postdoctoral Research Associate to support its STFC-funded Electron Ion Collider R&D programme, which aims to develop new technologies for future particle vertexing and tracking silicon detectors. In close collaboration with other UK universities and STFC laboratories, as well as in...


  • Liverpool, United Kingdom University of Liverpool Full time

    A postdoctoral research associate is sought by the Glyco-oncology Research Group in the Department of Biochemistry, Cell and Systems Biology. You will undertake a translational project funded by MRC and the Wellcome Trust to investigate effects of new therapeutic agents on tumour growth and metastasis using in vivo and ex vivo models. You will also be...


  • Liverpool, United Kingdom University of Liverpool Full time

    We are seeking to recruit an individual to Join the prestigious Signal Processing Group at the University of Liverpool as a Senior Postdoctoral Research Associate, in Data Fusion. In this role, you will take the lead in addressing complex data fusion challenges through innovative research. Working closely with external partners, you¿ll guide and inspire the...