All candidates interested in working in 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.

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