Postdoc at Centre for Quantum Technologies (apply by January 10, 2024)

We are seeking a highly motivated and research fellow to contribute to a project that combines classical machine learning and quantum computation on graphs datasets, with applications on drug development. We require a BSc/MSc (for RA) and a PhD (for RF) in physics, math, cs , or equivalent, along with demonstrated excellence in research through existing publications and conference presentations.

Website: https://luongo.pro
Email: ale@nus.edu.sg

Postdoc at Centre for Quantum Technologies (apply by January 10, 2024)

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)