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

DTU Compute’s section for Algorithms, Logic, and Graphs (AlgoLoG) invites applications for our next assistant or associate professor within logic and logic-based artificial intelligence or algorithms and data structures. The AlgoLoG section focuses on research in the foundations of computer science and discrete mathematics and application in industry.

Website: https://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=77ec4bc1-f834-4d49-96da-e263a7abb56c
Email: phbi@dtu.dk