Postdoc positions in Theoretical Computer science at KTH Royal Institute of Technology

The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in theoretical computer science.

The postdoctoral researchers will be working in the research group of Jakob Nordström. Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. The group currently consists of two postdoctoral researchers and four PhD students (in addition to the PI). There are also several other professors, postdocs, and PhD students in the TCS Group working on other aspects of algorithms and computational complexity. These postdoc positions are full-time employed positions for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.