Postdoc position computer science logic, Sheffield (UK)

I am looking for a PostDoc to join the Verification group of The University of Sheffield to work with me in my DFG funded project "Logical approach to quantum mechanics and contextuality".
Duration: Until 31.10.2023 with a probable extension to 26 months total.
The project relates to logical foundations of probabilistic data, complexity theory utilising real numbers, and logical approach to quantum information theory utilising the newly discovered connections to probabilistic team semantics. Candidates with expertise in finite model theory, logic in computer science, or foundations of quantum information theory are in particular encouraged to apply.