Two postdoctoral positions in algorithms and computational complexity, Barcelona (Spain)

The Computer Science Department of the Universitat Politecnica de Catalunya (UPC Barcelona-Tech) and the Barcelona Graduate School of Mathematics (BGSMath) invite applications for two postdoc research positions in the theory of computation.

The successful candidates will join the group of Albert Atserias to conduct research in the areas of algorithms and computational complexity, and mathematical logic for the theory of computation. The researchers will be appointed as full-time employees of UPC, with affiliations at the computer science department, and their positions will be for one year, with the possibility of renewal for a second year.

Successful candidates should have received or be about to receive a PhD degree in computer science and/or mathematics, with particular emphasis on the theory of computation or related areas (combinatorics, mathematical programming, mathematical logic, etc.). Their strong record of research should be proved by top-quality publications at the most prestigious conference venues (ICALP, FOCS/STOC, CCC, LICS, SODA, ...) and/or scientific journals.

Deadline for applications is June 15, 2015. Check the details of the application procedure at http://www.cs.upc.edu/~atserias/AUTAR.html. Expected start date is September 1st, 2015, but this is to some extent negotiable.