Faculty at University of Waterloo (apply by December 19, 2025)

The David R. Cheriton School of Computer Science at the University of Waterloo invites applications for multiple positions at all levels in data management and data systems, with focus on data science and data intelligence/machine learning. The School also invites applications for multiple positions in all other areas of computer science.

Website: https://cs.uwaterloo.ca/tenure-track-faculty-positions
Email: cs-recruiting@uwaterloo.ca

Faculty at University of Waterloo (apply by December 19, 2025)

Postdoc at Carnegie Mellon University (apply by December 10, 2025)

We are hiring three postdoctoral fellows in the study of mathematical cognition, including but not limited to:

(1) computational complexity, proof complexity, metamathematics, logic — anything relevant to how we seek for, and understand, mathematical proofs.

(2) the use AI tools, of any kind, as aids in proof verification and discovery.

(3) type theory (theory, or applied).

Website: https://cmu.wd5.myworkdayjobs.com/en-US/CMU/details/Postdoctoral-Fellow—DeDeo-Lab—Dietrich-College_2023842?q=2023842
Email: sdedeo@andrew.cmu.edu

Postdoc at Carnegie Mellon University (apply by December 10, 2025)

Postdoc at University of Toronto (apply by December 15, 2025)

The theory group at the University of Toronto is currently accepting applications for postdoctoral positions, starting in the academic year 2026-2027. We will be considering candidates from all areas of theoretical computer science.

The positions are typically for two years, and are intended to allow junior scientists the freedom to pursue ambitious and independent research agendas.

Website: https://www.cs.toronto.edu/theory/positions.html
Email: postdocapp@cs.toronto.edu

Postdoc at University of Toronto (apply by December 15, 2025)

postdoc at IDEAL Institute (Northwestern, TTIC, and UIC) (apply by December 31, 2025)

The Institute for Data, Econometrics, Algorithms, and Learning (IDEAL) invites applications for three postdoctoral positions starting Fall 2026. IDEAL is an NSF-funded Institute organized by Northwestern, UIC, TTIC, UChicago, IIT, and Loyola, with partners at Google Research, advancing the foundations of data science and theoretical computer science.

Website: https://academicjobsonline.org/ajo/jobs/30871
Email: yury@ttic.edu

postdoc at IDEAL Institute (Northwestern, TTIC, and UIC) (apply by December 31, 2025)

faculty, tenured-track or tenured at Emory University (apply by December 1, 2025)

The Department of Computer Science at Emory University seeks applications for a faculty position in either Theory or Systems. The search is open rank, either tenure-track or tenured. Submit a cover letter, a CV, research and teaching statements, and 3+ recommendations. Review begins December 1, 2025 and will continue until the position is filled.

Website: https://apply.interfolio.com/174520
Email: cs@emory.edu

faculty, tenured-track or tenured at Emory University (apply by December 1, 2025)