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

The Computer Science and Engineering (CSE) Department in the Jacobs School of Engineering (JSOE) (https://cse.ucsd.edu) and The Department of Mathematics within the Division of Physical Sciences at the University of California, San Diego (http://www.math.ucsd.edu) invite applications for a cross-campus hire for a tenure-track faculty position at the rank of Assistant Professor.

Website: https://apol-recruit.ucsd.edu/JPF03023
Email: nherrera@eng.ucsd.edu

EPFL invites applications for postdoctoral positions in the Theory Group. Applications will be reviewed by theory faculty (as listed on https://theory.epfl.ch/).

EPFL is located in Lausanne and ranks among the world’s top scientific universities. Postdoctoral positions come with a competitive salary for 1 year (83’600 CHF with yearly increments), renewable up to a maximum of 4 years.

Website: https://recruiting.epfl.ch/Vacancies/2123/Description/2
Email: tcs-postdoc@groupes.epfl.ch

The Department of Systems and Industrial Engineering at the University of Arizona invites applications for a tenure-track position in Software Engineering. Areas of interest include (1) Software Requirements Analysis and Testing, (2) Software Assurance, Quality, and Reliability, (3) Formal Methods in Software Engineering, (4) Software Project Management, and (5) AI in Software Engineering.

Website: https://arizona.csod.com/ux/ats/careersite/4/home/requisition/7321?c=arizona
Email: son@sie.arizona.edu