The CS department at Lund Unversity invites applications for a PhD position focusing on algorithms for solving the Boolean satisfiability problem (SAT) and other NP-hard optimization problems very efficiently in practice. The application deadline is February 10, 2020. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se .

Website: http://www.csc.kth.se/~jakobn/openings/PhD-SAT-LTH-200210.php
Email: jakob.nordstrom@cs.lth.se