The School of Informatics at the University of Edinburgh invites applicants for Lecturer (“Assistant Professor”), and Reader (“Associate Professor”) in Algorithms and Complexity.
For a full advert for the post, and how to apply, please see the link below.
Website: https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2877/?utm_medium=jobshare
Email: kousha@inf.ed.ac.uk
The CS department at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory. The application deadline is January 30, 2022. See http://www.jakobnordstrom.se/openings/AsstProf-UCPH-220130.html for more information and instructions for how to apply. Informal enquiries are welcome and may be sent to jn@di.ku.dk.
Website: https://employment.ku.dk/tenure-track/?show=155457
Email: jn@di.ku.dk
The theory group at Duke University invites applications for a Postdoctoral Fellow, starting in the summer/fall 22. All areas of theory will be considered. The initial appointment will be for a period of one year, with the possibility of renewal by mutual consent. (Jan 15 is a soft deadline for the application, but letters can be submitted later.)
Website: https://academicjobsonline.org/ajo/jobs/20559
Email: theory-jobs@cs.duke.edu
Applications are invited for two tenure-track faculty position at the rank of Assistant Professor, and in special cases Associate or Full Professor, at the Institute for Quantum Computing (IQC) and either the Department of Applied Mathematics or the Cheriton School of Computer Science, with an anticipated start date of September 1, 2022.
Website: https://uwaterloo.ca/institute-for-quantum-computing/available-positions/assistant-professor-applied-mathematics-or-computer-science
Email: iqc-dtr@uwaterloo.ca
DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, invites applications for postdoctoral associate positions for 2022-24. Applicants should be recent PhDs with interest in DIMACS areas, including theoretical computer science, discrete mathematics, statistics, operations research, data science, AI, machine learning, and their applications.
Website: https://jobs.rutgers.edu/postings/146503
Email: application@dimacs.rutgers.edu
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
