Multiple postdoctoral positions are available in the research group of Igor Carboni Oliveira at the University of Warwick. Candidates interested in computational complexity theory and/or related areas such as mathematical logic and computational learning theory are encouraged to apply.

Note: The positions overlap with the semester-long research program on the "Logical Foundations of Complexity Theory" that will take place at the Isaac Newton Institute for Mathematical Sciences (University of Cambridge) during the second half of 2026, which may be of interest to some applicants.

Deadline: Applications will be accepted on a rolling basis until the positions are filled. (If you submitted an application before the previous deadline of September 30, 2024, you will automatically be considered for these and future openings.)

Warwick. The University of Warwick has a long and rich history in computational complexity theory, with several notable alumni and researchers including Leslie Valiant, Adi Shamir, and Mike Paterson. The Theory and Foundations Group (FoCS) has expanded significantly in recent years and a number of staff members and research students work in complexity theory or related areas. As a testament to the relevance and impact of the group, research produced at Warwick has received widespread recognition over the past five years, securing best paper awards at several top theory conferences including STOC, ICALP, and SODA. In addition to joining one of the leading and most vibrant groups in Algorithms & Complexity in Europe (see, e.g., CSRankings), you will be a member of the Centre for Discrete Mathematics and its Applications (DIMAP) and have the opportunity to collaborate with researchers from the Warwick Mathematics Institute. (The Department of Computer Science and the Mathematics Institute are adjacent and physically connected, which offers a unique environment for research on the mathematical aspects of computer science among the top theory groups in the UK.) We are also highly active in the organisation of local and online seminars, workshops, and conferences (see, e.g., Algorithms & Complexity @ Warwick, WACT, CCC, DIMAP Seminar, Combinatorics Seminar, Foundations of AI Seminar, Warwick Quantum, and the Online Complexity Seminar). Finally, the complexity group has close ties to nearby institutions, such as the University of Oxford, Imperial College London, and the University of Birmingham. You will be part of the Complexity Network and are encouraged to collaborate with members of these and other institutions in the UK and abroad.

Positions. Each position provides flexible conditions and includes substantial travel support. There is potential for extension depending on mutual agreement and available funding. The start date is flexible, with the option to begin any time before September/2025. The salary and benefits are competitive with those at other leading UK universities, but the cost of living near Warwick is notably lower. Part-time appointments with other universities, both within the UK and internationally, may also be possible.    

Application. To be considered for a position, please send an email to Igor Oliveira (igorcarb@gmail.com) with your CV and a brief description of your research interests. Informal enquiries are also welcome.