The Department of Computing Sciences at Bocconi University invites applications for a Tenure Track Assistant Professor position.

The call is open to all subfields of CS, but theoretical computer science is one of the focus areas for the call. Refer to the link for more information.

Website: https://jobmarket.unibocconi.eu/?id=870
Email: giulio.malavolta@unibocconi.it

We invite applications for a postdoctoral position in computational logic at Tampere University, Finland. The role involves research on theoretical aspects of computational logic, with flexibility to align projects to the candidate’s interests. Applicants should have a background in mathematics, computer science, or a related field.

Website: https://tuni.rekrytointi.com/paikat/?o=A_RJ&jgid=1&jid=2857
Email: antti.kuusisto@tuni.fi

Applications are invited for appointment as Tenure-track Professor/ Associate Professor/ Assistant Professor (several posts) at the School of Computing and Data Science, The University of Hong Kong. The positions are open to all research areas in Computer Science, Artificial Intelligence, Data Science or a related field.

Website: https://jobs.hku.hk/en/job/533072/tenuretrack-professor-associate-professor-assistant-professor-several-posts-at-the-school-of-computing-and-data-science
Email: zhiyi@cs.hku.hk

The Princeton DeCenter invites applications for its inaugural cohort of Postdoctoral Fellows, and more senior researchers with academic or industry experience beginning in Fall 2026.

Fellows will conduct research on blockchain, decentralized technologies, and their applications, across computer science, economics, law, political science, philosophy, and related fields.

Website: https://puwebp.princeton.edu/AcadHire/apply/application.xhtml?listingId=40762
Email: smweinberg@princeton.edu

NUS School of Computing and Center for Quantum Technologies, Singapore invites applications (all ranks) for faculty positions in:
– Quantum Computing (algorithms and complexity; architectures/compilers; error correction; quantum ML; quantum algorithm engineering)
-Post‑Quantum Cryptography

Website: https://faces.comp.nus.edu.sg/
Email: dcsyhf@nus.edu.sg

NUS School of Computing and Center for Quantum Technologies, Singapore invites applications (all ranks) for faculty positions in:
– Quantum Computing (algorithms and complexity; architectures/compilers; error correction/mitigation/verification; hardware–software co‑design; quantum ML; quantum algorithm engineering)
-Post‑Quantum Cryptography

Website: https://faces.comp.nus.edu.sg/
Email: dcsyhf@nus.edu.sg

The Sydney Algorithms and Theory of Computing (SACT) group at the University of Sydney has a number of postdoctoral positions available (each for 2-3 years), in all areas of Theoretical Computer Science, with at least one focusing on streaming algorithms and another on planning and synthesis. Starting date flexible, but expected around mid- or late 2026.

Website: https://usyd-sact.github.io/
Email: clement.canonne@sydney.edu.au

The Division of Science at NYU Abu Dhabi (NYUAD) invites applications for tenured / tenure-track open-rank faculty positions within its Computer Science Program. The search will prioritize candidates who specialize in Artificial Intelligence (AI) and Machine Learning (ML).We welcome applicants whose research advances the theoretical foundations of AI/ML and/or explores novel methodologies.

Website: https://apply.interfolio.com/175170
Email: nyuad.academicrecruitment@nyu.edu

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

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