Department of Computer Science of the University of Sheffield is seeking to appoint an outstanding candidate to a Chair in Algorithms to lead our rapidly expanding Algorithms Group. We are particularly keen to appoint a candidate with specialist expertise in the design and theoretical analysis of algorithms for artificial intelligence (AI).

Website: https://www.jobs.ac.uk/job/CLN892/chair-in-algorithms
Email: g.j.brown@sheffield.ac.uk

The Simons Institute for the Theory of Computing invites applications for Simons-Berkeley Research Fellowships for the Fall 2022 and Spring 2023 semesters. The Institute will host programs on “Data-Driven Decision Processes” and “Graph Limits and Processes on Networks: From Epidemics to Misinformation” in Fall 2022 and “Meta-Complexity in Spring 2023. The deadline is December 15, 2021.

Website: https://simons.berkeley.edu/simons-berkeley-research-fellowship-call-applications
Email: simonsvisitorservices@berkeley.edu

The University of Sheffield is seeking candidates with an outstanding record of scholarship in the logical and semantic foundations of computing, and in particular hardware and software verification. You will work within the Verification Group, a well-established research group in the Department of Computer Science which currently hosts six members of staff and one Research Assistant.

Website: https://www.jobs.ac.uk/job/CLF125/lecturer-in-verification
Email: g.j.brown@sheffield.ac.uk

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

I am looking for a motivated PhD student to join the Verification group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to logical theory of verification.

The Studentship will cover tuition fees at the UK rate and provide a tax-free stipend at the standard UKRC rate for three and a half years.

Website: https://www.jobs.ac.uk/job/CLH126/phd-studentship-logical-approach-to-verification-of-hyperproperties
Email: j.t.virtema@sheffield.ac.uk

The Foundations of Data Science Institute (FODSI), funded by the National Science Foundation TRIPODS program, is announcing a competitive postdoctoral fellowship. Multiple positions are available. FODSI is a collaboration between UC Berkeley and MIT, partnering with Boston University, Northeastern University, Harvard University, Howard University and Bryn Mawr College.

Website: https://academicjobsonline.org/ajo/jobs/20132
Email: see the above url

The Department of Computer Science at LTH, Lund University invites applications for two PhD positions in theoretical computer science with focus on computational complexity and algorithms. These are four-year full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD students will be working in the research group of Susanna de Rezende.

Website: https://derezende.github.io/openpositions/PhD.html
Email: susanna.rezende@cs.lth.se

The Theory Group at the University of Michigan invites applications for multiple postdoctoral positions beginning September 2022. The position will have an initial appointment for one year but may be extended depending on circumstances.

Applicants should be recent PhDs with interests that align well with our ongoing research.
Please email a CV, research statement, and names of references.

Website: https://theory.engin.umich.edu
Email: thsa@umich.edu

The Department of Computer Science at University of Liverpool is seeking to appoint six (6) academics to lectureship (assistant professor) positions: 2 in Algorithmic Optimisation/Data Science/Machine Learning, 2 in High-Performance / Quantum Computing, 2 in Natural Language Processing and Information Retrieval

Website: https://www.liverpool.ac.uk/computer-science/news/stories/title,1289873,en.html
Email: Jobs@liverpool.ac.uk

The theory group at Stanford invites applications for the Motwani postdoctoral fellowship in theoretical computer science. Information and application instructions below. Applications will be accepted until the positions are filled, but review of applicants will begin after Dec 15.

Website: https://academicjobsonline.org/ajo/jobs/20711
Email: theory.stanford@gmail.com