125 proof-checking-postdoc-computer-science-logic positions at University of Liverpool
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
-
. Civic Health Innovation Labs (CHIL) and the Virtual Engineering Centre (VEC) are now seeking a candidate to join the CHI-Zone programme team in the role of AI & Cyber-Physical Systems Engineer. As a key
-
This is an exciting opportunity for a talented, organised and highly motivated Post-Doctoral Research Associate with a keen interest in cell biology and ATMP development to join the team on a
-
The University is embarking on an ambitious programme to move its on premise Unit4 Finance system to a cloud-based solution. A programme team has been established involving the Universitys Finance
-
) for Wi-Fi. You will join the team of Dr Junqing Zhang in the School of Computer Science and Informatics at the University of Liverpool. The project will focus on innovative and practical radio frequency
-
We are seeking an enthusiastic individual to work as a Clinical Research Assistant for a programme of research called Children Growing Up in Liverpool. Working under the direction of the Programme
-
between University of Liverpool (Computer Science and Chemistry), VU Amsterdam (Dr. Kevin Luck https://luck-robotics.github.io/), Royce Institute (https://www.royce.ac.uk/) and Unilever, funded by UKRI
-
We are looking to appoint two Lecturers in Pharmacy Practice to contribute to the ongoing development and delivery of our MPharm degree programme, due to launch in September 2026. You will join the
-
offer a comprehensive training programme to help you within the role, with new members of staff enrolling on the NVQ Level 3 Facilities Manager Supervisor course, alongside these training and development
-
in Python, working with high-performance computing clusters, and implementing reproducible research workflows. The position requires expertise in prokaryotic genomics, strong statistical and