postdoc and phd positions at University of Warsaw (apply by May 31, 2024)

2 Postdoc and 2 PhD positions at the University of Warsaw, in an ERC CoG project. The goal of the project is to explore the tractability limit of computational problems related to logic and structural graph theory.

The applicants should have a strong background in at least one of the following fields: structural graph theory, algorithms and complexity, finite model theory, or
model theory.

Website: https://sites.google.com/view/buka-project/
Email: szymtor@mimuw.edu.pl

postdoc and phd positions at University of Warsaw (apply by May 31, 2024)

Tenure Track Associate Professor at Iowa State University (apply by January 2, 2024)

Department of Computer Science at Iowa State University in Ames, Iowa seeks applicants for a Tenure-Track Associate Professor Faculty position in the area of Theoretical Computer Science, Computational Biology.
Requirements: Ph.D. or equivalent degree by start date in CS or closely related field Evidence of strong publication record.
Iowa State University is an equal opportunity employer.

Website: https://www.cs.iastate.edu/open-positions
Email: ciardo@iastate.edu

Tenure Track Associate Professor at Iowa State University (apply by January 2, 2024)

Postdoc at Harvard University (apply by January 9, 2024)

Harvard is taking postdoc applications for a variety of positions: in Theoretical Computer Science, in Data Privacy, at the Intersection of Systems and Theory, and in the Center for Research on Computation & Society. The soft deadlines for these vary.

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: achoat@seas.harvard.edu

Postdoc at Harvard University (apply by January 9, 2024)

Faculty at Harvard University (apply by January 15, 2024)

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

Faculty at Harvard University (apply by January 15, 2024)

Postdoc at University of Texas at Austin (apply by January 16, 2024)

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

Postdoc at University of Texas at Austin (apply by January 16, 2024)

Postdoc at University of Cambridge (apply by January 15, 2024)

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

Postdoc at University of Cambridge (apply by January 15, 2024)

IBM 2024-25 Herman Goldstine Memorial Postdoctoral Fellowship at IBM (apply by December 31, 2023)

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

IBM 2024-25 Herman Goldstine Memorial Postdoctoral Fellowship at IBM (apply by December 31, 2023)

Full Professorship in Formal Methods at Johannes Kepler University Linz (apply by January 17, 2024)

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

Full Professorship in Formal Methods at Johannes Kepler University Linz (apply by January 17, 2024)

Faculty positions at Tufts University (apply by December 15, 2023)

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)

Faculty positions at Tufts University (apply by December 15, 2023)

PhD positions in CS Theory at Tufts University (apply by December 15, 2023)

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

PhD positions in CS Theory at Tufts University (apply by December 15, 2023)