Two postdoctoral positions in Computer Science Logic, Sheffield (England)

I am looking for two PostDocs 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". Starting date: ASAP / negotiable * Duration: Until 31.10.2023 (15 months each).

All candidates interested in working in the general topic of logics and complexity theory utilising numerical features and real valued data are encouraged to apply. The project topics range from logical foundations of probabilistic data and complexity theory utilising real numbers to 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.