PhD position in CS focused on SAT solvin at KTH Royal Institute of Technology (apply by January 15, 2017)

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

Advertisements
PhD position in CS focused on SAT solvin at KTH Royal Institute of Technology (apply by January 15, 2017)