Postdoc in CS focused on SAT solving at KTH Royal Institute of Technology (apply by February 4, 2019)

The TCS Group at KTH invites applications for postdoc positions focusing on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms. The application deadline is February 4, 2019. Informal enquiries are welcome and may be sent to jakobn@kth.se .

Website: http://www.csc.kth.se/~jakobn/openings/J-2018-3178-Eng.php
Email: jakobn@kth.se

Postdoc in CS focused on SAT solving at KTH Royal Institute of Technology (apply by February 4, 2019)

Postdoc positions in TCS at KTH Royal Institute of Technology (apply by February 4, 2019)

The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in TCS. The application deadline is February 4, 2019. See https://apc.eecs.kth.se/J-2018-3169-Eng.php for the full announcement with more information and instructions for how to apply. Informal enquiries are welcome and may be sent to apc@eecs.kth.se .

Website: https://apc.eecs.kth.se/J-2018-3169-Eng.php
Email: apc@eecs.kth.se

Postdoc positions in TCS at KTH Royal Institute of Technology (apply by February 4, 2019)