I’m looking for a Postdoc for my project related to logical foundations of probabilistic data, complexity theory utilising real numbers, and logical approach to quantum information theory. Candidates with expertise in finite model theory, logic in computer science, or foundations of quantum information theory are in particular encouraged to apply.

Website: https://www.jobs.ac.uk/job/CLB973/research-associate-in-computer-science-logic
Email: j.t.virtema@sheffield.ac.uk