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

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

Email: jakobn@kth.se