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

The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in Theoretical Computer Science for the research project "Understanding the Hardness of Theorem Proving" in the area of proof complexity with connections to SAT solving.

The project is led by Jakob Nordström and is financed by a Breakthrough Research Grant from the Swedish Research Council and a Starting Independent Researcher Grant from the European Research Council. The group currently consists of one postdoctoral researcher and two PhD students (in addition to the project leader). Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis.

This is a full-time employed position for one year with a possible one-year extension. The successful candidate is expected to start at the latest in August-September 2013, although this is to some extent negotiable.

To receive full consideration, applications should be received by January 14, 2013. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2012-0444-Eng.php. Informal enquiries are welcome and may be sent to Jakob Nordstrom at jakobn at csc.kth.se.