Postdoc in CS focused on SAT solving and combinatorial optimization at Lund University (apply by February 10, 2020)

The CS department at Lund Unversity invites applications for a postdoc 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/Postdoc-SAT-LTH-200210.php
Email: jakob.nordstrom@cs.lth.se

Postdoc in CS focused on SAT solving and combinatorial optimization at Lund University (apply by February 10, 2020)