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

Jakob Nordström jakobn at kth.se
Sun Dec 13 22:24:51 CET 2015

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)

More information about the Proof-Complexity mailing list