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 21, 2017. See http://www.csc.kth.se/~jakobn/openings/D-2017-0883-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 .

Website: http://www.csc.kth.se/~jakobn/openings/D-2017-0883-Eng.php
Email: jakobn@kth.se