4 software-verification Postdoctoral positions at University of Liverpool in United Kingdom
-
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
-
datasets and demonstrate familiarity with statistics software packages, such as Stata and Python. Knowledge about computer text analysis is also desirable. Excellent written communication skills are required
-
with the service co-directors (Professor. Arribas-Bel and Franklin), the rest of academic co-investigators, research software engineers and professional support, and will be part of the Geographic Data
-
; the analysis of data from muon experiments to extract the properties of muons including the provision of software for tracking and modelling of the detector; the construction and exploitation of experiments