Harvard has openings for a tenure-track faculty position in Computer Science (soft deadline 1/15/24), as well as a Tenure-track or Tenured Professor in Computer Science and Kempner Institute Investigator (soft deadline was 12/15/23).

Website: https://academicpositions.harvard.edu/postings/search?utf8=%E2%9C%93&query=computer+science+&query_v0_posted_at_date=&388%5B%5D=10&commit=Search
Email: jmileski@seas.harvard.edu

This Postdoctoral Fellowship is for the 2024-25 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

A postdoc position in Quantum Algorithms and Complexity Theory is available at the University of Cambridge, under the supervision of Tom Gur. The position is for 2 years. The starting date is flexible.

Formal application can be made here: https://www.jobs.cam.ac.uk/job/44484/

For informal enquiries, please use the contact email below.

Website: https://www.cst.cam.ac.uk/people/tg508
Email: tom.gur@cl.cam.ac.uk

The Mathematical Sciences department of IBM Research invites applications for its 2024–25 Herman Goldstine Memorial Postdoctoral Fellowship for research in the mathematical and computer sciences. The department provides an atmosphere in which basic research is combined with work on practical applications. Areas of interest include and .

Website: https://research.ibm.com/goldstine/
Email: barahon@us.ibm.com

The Department of Computer Science at the Faculty of Engineering and Natural Sciences at
Johannes Kepler University Linz invites applications for a permanent full-time position at the Institute for Formal Models and Verification (FMV) founded by Armin Biere.

Website: https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/formal-methods/
Email: martina.seidl@jku.at

The Department of Computer Science at Tufts University is seeking candidates for both tenure-track and teaching-track faculty positions to start in Fall 2024. Candidates in theory are encouraged to apply to the Ada Lovelace Professorship (mid-career, leadership potential). Theory represents a priority area for the teaching search as well.

Review of applications starts December 15, 2023.

Website: https://engineering.tufts.edu/cs/about/employment-opportunities
Email: ttsearch@cs.tufts.edu (tenure-track), cssearch@cs.tufts.edu (teaching track)

The CS Theory group at the Department of Computer Science at Tufts University invites applications for fully-funded positions in the PhD program starting on September 1, 2024. CS Theory group website: https://cs-theory.cs.tufts.edu/

The application deadline is December 15, 2023, with supplementary materials due before December 29, 2023.

Website: https://engineering.tufts.edu/cs/prospective-students/phd
Email: vladimir.podolskii@tufts.edu

The CS department at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science, with a focus on logic and automated reasoning. See http://www.jakobnordstrom.se/openings/AsstProf-Lund-240126.html for more information and instructions how to apply. Informal enquiries are welcome and may be sent to jn@di.ku.dk.

Website: http://www.jakobnordstrom.se/openings/AsstProf-Lund-240126.html
Email: jn@di.ku.dk

The CS department at the University of Copenhagen invites applications for postdocs in TCS. The application deadline is January 10, 2024. See https://employment.ku.dk/faculty/?show=160442 for more information and instructions how to apply. Informal enquiries are welcome to Jakob Nordstrom (jn@di.ku.dk), Mikkel Thorup (mthorup@di.ku.dk), or other theory faculty as specified in the call.

Website: https://employment.ku.dk/faculty/?show=160442
Email: jn@di.ku.dk

I am looking for a postdoctoral researcher to join the following project (which also supports one other postdoctoral researcher) for 2 years starting in April or soon after.
Project title “Optimisation for Game Theory and Machine Learning” Mainly based around mathematical analysis of algorithms, sometimes
supported by computational experiment.

Website: https://www.cs.ox.ac.uk/people/paul.goldberg/project-local-opt.html
Email: Paul.Goldberg@cs.ox.ac.uk