Postdoctoral Research Associate (Grade 7)

We are seeking to recruit a motivated and research-focused Postdoctoral Research Associate to carry out research in SAT, SMT or OMT, CSP, or Formal Methods for Explainable AI as part of the EPSRC programme grant Digital Navigation of Chemical Space for Function.  You will enjoy deploying automated reasoning techniques, such as satisfiability and constraint solving or formal verification, to turn domain knowledge into decision making.

You will have agency over what formalisation to use and how to develop the reasoning, with the required domain knowledge readily available – the programme grant is a large chemistry led project, with chemists and computational chemists eager to collaborate.

You should have, or be about to obtain, a PhD in automated reasoning, verification, theoretical computer science, mathematics, or a closely related field, together with an excellent track record of publications.

Examples of fields of interest are: 

• SAT, SMT, or OMT
• automated reasoning
• verification, and
• formal methods

If you are still awaiting your PhD to be awarded you will be appointed at Grade 6, spine point 30.  Upon written confirmation that you have been awarded your PhD, your salary will be increased to Grade 7, spine point 31.

This role is available on a fixed term basis until 30 November 2026.

The University of Liverpool is committed to enhancing workforce diversity. We actively seek to attract, develop, and retain colleagues with diverse backgrounds and perspectives. We welcome applications from all genders/gender identities, Black, Asian, or Minority Ethnic backgrounds, individuals living with a disability, and members of the LGBTQIA+ community.

Job Ref: 084746                                            Closing Date:  24 September 2024

For full details and to apply online, please visit: https://recruit.liverpool.ac.uk

Advert information