[Proof Complexity] Postdoc positions in SAT solving at KTH Royal Institute of Technology

[Jakob Nordström]

Dear colleagues,

This is just to ask for your help in advertising 1-2 postdoc positions in SAT solving (focused, in particular, on building SAT solvers on top of stronger proof systems than resolution) at KTH Royal Institute of Technology.

The application deadline is January 24, 2016, and more information can be found in the announcement at http://www.csc.kth.se/~jakobn/openings/D-2015-0823-Eng.php .

Informal enquiries are welcome and can be sent to jakobn at kth.se.

With best regards,
Jakob Nordstrom


Jakob Nordström, Associate Professor
KTH Royal Institute of Technology
Osquars backe 2, SE-100 44 Stockholm, Sweden
Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell)
http://www.csc.kth.se/~jakobn/