[Proof Complexity] Postdoc in Complexity Theory at University of Warwick

[Igor Carboni Oliveira]

Dear colleagues,

A postdoctoral position in computational complexity theory and related
areas is available in the research group of Igor Carboni Oliveira at the
University of Warwick. The position offers flexible conditions and comes
with generous travel support. The start date is negotiable. The initial
duration of the position is for 22 months, with the possibility of an
extension based on the availability of funds.

In addition to joining one of the leading theory groups in Europe, you will
be a member of the Centre for Discrete Mathematics and its Applications
(DIMAP) and have the opportunity to take part in a number of research
activities jointly organised with Imperial College London and the
University of Oxford as part of our Complexity Network. Warwick is also
home to the Oxford-Warwick Complexity Meetings, which covers exciting new
developments in complexity theory.

To be considered, please send me an email (igorcarb at gmail.com) with your CV
and a list of publications. Applications submitted before 20/January/2022
will receive full consideration. Applications received after this deadline
will still be considered until the position is filled. Informal enquiries
are also welcome.

More information about the position is available here:
https://www.dcs.warwick.ac.uk/~igorcarb/postdoc-position.html

Best regards,
Igor Oliveira
https://www.dcs.warwick.ac.uk/~igorcarb/