PhD position in TCS at KTH Royal Institute of Technology

The Theory Group at KTH Royal Institute of Technology invites applications for a PhD position in theoretical computer science.

The PhD student will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this group revolve around the themes of proof complexity and SAT solving. However, these areas have also turned out to have deep, and sometimes surprising, connections to other topics such as, e.g., circuit complexity, communication complexity, and hardness of approximation, and therefore research in these or other related areas is also of interest.

The research project is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. In addition to the project leader, the group currently consists of one postdoc and two PhD students. Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

This is a four-year full-time employed position, but PhD positions usually (but not necessarily) include 20% teaching, in which case they are prolonged for one more year. The successful candidate is expected to start in August-September 2014, although this is to some extent negotiable.

The application deadline is December 15, 2013. See http://www.csc.kth.se/~jakobn/openings/D-2013-0620-Eng.php for the full, formal announcement with more information and instructions for how to apply. Informal enquiries about this position are welcome and may be sent to Jakob Nordstrom.