The TCS Group at KTH Royal Institute of Technology invites applications for a PhD position in computer science focused on SAT solving. The application deadline is January 15, 2017. See http://www.csc.kth.se/~jakobn/openings/D-2016-0833-Eng.php for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to jakobn@kth.se .

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

Email: jakobn@kth.se