PhD position at KTH Royal Institute of Technology, Stockholm, Sweden

The Theory Group at KTH Royal Institute of Technology invites applications for a PhD position in Theoretical Computer Science for a project in the area of proof complexity with connections to SAT solving.

The project is led by Jakob Nordström. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader) and also receives short-term and long-term visitors on a regular basis. A description of the project can be found at http://www.csc.kth.se/~jakobn/project-proofcplx.

This is a full-time employed position, normally for five years including 20% teaching, with salary according to KTH PhD student regulations. The successful candidate is expected to start at the latest in August 2013, although this is to some extent negotiable.

The application deadline is January 14, 2013. See http://www.csc.kth.se/~jakobn/openings/D-2012-0439-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 at jakobn at csc.kth.se.