Postdocs in SAT solving at KTH Royal Institute of Technology (apply by January 24, 2016)

The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving. The application deadline is January 24, 2016. More information and instructions how to apply can be found at at http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php . Informal enquiries are welcome and may be sent to jakobn@kth.se .

Webpage: http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php

Email: jakobn@kth.se

Postdocs in SAT solving at KTH Royal Institute of Technology (apply by January 24, 2016)

Postdoc in computational complexity at KTH Royal Institute of Technology (apply by January 24, 2016)

The Theory Group at KTH Royal Institute of Technology invites applications for a postdoctoral position in computational complexity. The application deadline is January 24, 2016. More information and instructions how to apply can be found at at http://www.csc.kth.se/~jakobn/openings/D-2015-0816-Eng.php. Informal enquiries are welcome and may be sent to jakobn@kth.se .

Webpage: http://www.csc.kth.se/~jakobn/openings/D-2015-0816-Eng.php

Email: jakobn@kth.se

Postdoc in computational complexity at KTH Royal Institute of Technology (apply by January 24, 2016)