The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in computational complexity and/or SAT solving. The application deadline is January 25, 2015. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2014-0761-Eng.php . Informal enquiries are welcome and may be sent to jakobn@kth.se .

Webpage: http://www.csc.kth.se/~jakobn/openings/D-2014-0761-Eng.php

Email: jakobn@kth.se