The Scalable Automated Reasoning group at KIT (Karlsruhe, Germany) is looking for a doctoral researcher (a.k.a. PhD student) to begin ASAP. Our aim is to study and advance crucial tools at the core of automated reasoning, such as the satisfiability of propositional formulas (SAT), with a focus on parallel/distributed systems. The position is full-time and compensated with TVÖD E13.
Website: https://s.kit.edu/satres-phd
Email: dominik.schreiber@kit.edu
The Shenzhen University of Advanced Technology invites applicants for 2 postdocs to work on complexity and online graph problems, with competitive salary. Candidates with strong background in TCS/math are encouraged to apply. Experience in Kakeya sets/graph coloring/probability is a plus. To apply, send your CV and research statement.
Website: https://li-ya-qiao.github.io/
Email: liyaqiao@suat-sz.edu.cn
We invite candidates to apply for new positions as Assistant Professor of Computer Science. There are multiple positions both within computer science, and in interdisciplinary positions like Quantum Computing and CS+X positions. We are interested in outstanding candidates in all areas of CS, but TCS is an area of particular interest. We encourage applications to be submitted early.
Website: https://www.mccormick.northwestern.edu/computer-science/careers/
Email: faculty-search@cs.northwestern.edu
The University of Montreal’s Department of Computer Science and Operations Research invites applications for a tenure-track faculty position at the rank of Assistant Professor in the area of theoretical computer science.
Website: https://rh-carriere-dmz-eng.synchro.umontreal.ca/psc/rhprpr9_car_eng/EMPLOYEE/HRMS/c/HRS_HRAM_FL.HRS_CG_SEARCH_FL.GBL?Page=HRS_APP_JBPST_FL&Action=U&FOCUS=Applicant&SiteId=3&JobOpeningId=527501&PostingSeq=1&
Email: directeur-TCS@iro.umontreal.ca
The Simons Institute for the Theory of Computing invites applications for Simons-Berkeley Research Fellowships for the Fall 2025 semester. The Institute will host programs on “Complexity and Linear Algebra,” and “Algorithmic Foundations for Emerging Computing Technologies” in fall 2025. The application deadline is December 15, 2024.
Website: https://simons.berkeley.edu/simons-berkeley-research-fellowship-call-applications
Email: simonsassociatedirector@berkeley.edu
The UC San Diego Department of Computer Science and Engineering (CSE) invites applications for multiple tenure-track faculty positions at the Assistant Professor rank. The department is looking for exceptional candidates in all areas of Computer Science and Engineering.
Website: https://apol-recruit.ucsd.edu/JPF04123
Email: nherrera@ucsd.edu
The University of Washington’s Paul G. Allen School of Computer Science & Engineering invites applications for multiple tenure-track positions at all ranks across all areas in both Computer Science and Computer Engineering. Deadline is for priority consideration.
Website: https://www.cs.washington.edu/faculty_candidates
Email: frc@cs.washington.edu
The UC San Diego Department of Computer Science and Engineering (CSE) invites applications for multiple tenure faculty positions at the Associate or Full Professor rank. The department is looking for exceptional candidates in all areas of Computer Science and Engineering.
Website: https://apol-recruit.ucsd.edu/JPF04124
Email: nherrera@ucsd.edu
This Postdoctoral Fellowship is for the 2025-26 academic year to work with Dana Moshkovitz and David Zuckerman on pseudorandomness and related topics. Applications will be accepted until the position is filled. To apply, send a CV and research statement, and arrange for three letters of recommendation.
Website: https://www.cs.utexas.edu/~diz/Sub%20Websites/Postdoc.html
Email: staleski@cs.utexas.edu
The Algorithms & Complexity Theory group at University of Regensburg is looking for several PhD students and post-docs within the ERC Starting Grant project CountHom. Our research focus lies on combinatorial counting problems, algebraic complexity theory, and fixed-parameter algorithms and parameterized complexity.
Website: https://typo3.uni-regensburg.de/informatics-data-science/algorithms-complexity-theory/jobs
Email: radu.curticapean@ur.de
Theoretical Computer Science Jobs 