Postdoctoral Research Associate in Verification - Grade 7

University of Liverpool • Liverpool, England, United Kingdom • £39.36k - £45.41k / year • 3w ago

We are seeking to recruit a motivated postdoctoral researcher in Verification and Game Theory. You will enjoy developing algorithms, lower bounds, and possibly proof-of-concept implementations related to computer-aided formal verification.

The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and external academic partners is encouraged and supported.

The project aims to better understand the notion of good-for-games (GfG) and related restricted forms of non-determinism, especially for computational models with infinite state spaces. We will investigate new ways to restrict non-determinism that maintain high expressiveness while simultaneously allowing for efficient verification procedures. In particular, we plan to study stochastic variants of history-determinism, such as automata that are good-for-Markov chains / Markov Decision Processes, as well as stochastic resolvers and their memory requirements.

This post is fixed term until 31^st July 2027.

You should have, or be about to obtain, a PhD in Theoretical Computer Science, Mathematics, or a closely related field together with an excellent track record of international publications. Examples of fields of interests are:

Automata and Games related to Reactive Synthesis
Model checking tools and algorithms
Logics and verification techniques
Transducers, Weighted Automata, Probabilistic Automata
Stochastic Games
Infinite-state models
Parametrised Control Problems

The ideal candidate has excellent verbal and written communication skills, is able to organise their own work with minimal supervision, and also prioritise work to meet deadlines. Most importantly, they have fun toying around with formal structures and pushing algorithmic ideas to their limit with us.

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.

Commitment to Diversity

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.

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

£39,355 to £45,413 per annum

Related Jobs

Postdoctoral Research Associate in Co2 Conversion - Grade 7

University of Liverpool • Liverpool, England, United Kingdom • £39.36k - £45.41k / year • 1w ago

Academic (Research, Teaching and Post Doc)

1w ago

Apply

Community Clinical Teacher

University of Liverpool • Liverpool, England, United Kingdom • £82.44k - £106.86k / year • 2w ago

Academic (Research, Teaching and Post Doc)

2w ago

Apply

Lecturer in Simulation and Clinical Skills

Liverpool John Moores University • Liverpool, England, United Kingdom • £38.25k - £45.41k / year • 2w ago

Academic (Research, Teaching and Post Doc)

2w ago

Apply

Post-doctoral Research Fellow (Fixed term for 8 months)

Liverpool John Moores University • Liverpool, England, United Kingdom • £31.39k - £36.92k / year • 3w ago

Academic (Research, Teaching and Post Doc)

3w ago

Apply

Postdoctoral Research Associate in Refrigeration Technology - Grade 7

University of Liverpool • Liverpool, England, United Kingdom • £39.11k - £45.16k / year • 1m ago

Academic (Research, Teaching and Post Doc)

1m ago

Apply

Unity Theatre Project Archivist (Fixed term for 12 months)

Liverpool John Moores University • Liverpool, England, United Kingdom • £31.64k - £37.17k / year • 5d ago

Other Professional Services (Careers, Alumni, HR, Finance, Estates, Library, Sports)

5d ago

Apply

Finance Systems Data Migration Developer - Grade 8

University of Liverpool • Liverpool, England, United Kingdom • £46.74k - £59.14k / year • 1w ago

Other Professional Services (Careers, Alumni, HR, Finance, Estates, Library, Sports)

1w ago

Apply

Principal Programmer/Analyst (2 Posts) - Grade 8

University of Liverpool • Liverpool, England, United Kingdom • £46.74k - £59.14k / year • 1w ago

Other Professional Services (Careers, Alumni, HR, Finance, Estates, Library, Sports)

1w ago

Apply

Information, Advice & Guidance Coordinator - 4AAPH06

Liverpool Hope University • Liverpool, England, United Kingdom • £32.55k - £37.17k / year • 1w ago

Other Professional Services (Careers, Alumni, HR, Finance, Estates, Library, Sports)

1w ago

Apply

Finance Systems Integration Developer - Grade 8

University of Liverpool • Liverpool, England, United Kingdom • £46.74k - £59.14k / year • 1w ago

Other Professional Services (Careers, Alumni, HR, Finance, Estates, Library, Sports)

1w ago

Apply