Logic List Mailing Archive

Two postdoctoral positions in algorithms and computational complexity, Barcelona (Spain), Deadline: 15 Jun 2015

---------------------------------------------------------------
Two postdoc research positions at UPC Barcelona

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
(http://www.cs.upc.edu/~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.

UPC is the technical university of Catalonia with its base campus
located in the city of Barcelona. It is one of the largest technical
universities of southern EU, with over 30,000 students spanning all
levels from undergraduate to PhD, and employing over 2,500
faculty. The Computer Science Department of UPC is one of its largest
departments, and hosts strong research groups in the theory of
computation, algorithms, machine learning and data mining, logic in
computer science, and computer graphics, among others. The research
group in the theory of computation is involved in the activities of
the Barcelona Graduate School of Mathematics (BGSMath), which is a
platform that coordinates the mathematical academic activities and PhD
programs of the three public universities within the area of Barcelona
that have mathematics departments (UB, UAB and UPC).

---------------------------------------------------------------