[Proof Complexity] PhD and postdoc positions at KTH Royal Institute of Technology

["Jakob Nordström"]

Dear colleagues,

This is just to ask for your help in advertising one PhD and one postdoc
position in proof complexity at KTH Royal Institute of Technology. The
formal deadline is January 14, but candidates are encouraged to apply
already now.

I would be very grateful if you could help spread this information. For
more details, see the enclosed PDF flyer, which is also available at
http://www.csc.kth.se/~jakobn/openings/PhDPostdoc13Flyer.pdf . The full,
formal announcements can be found at

- PhD position: http://www.csc.kth.se/~jakobn/openings/D-2012-0439-Eng.php

- Postdoc position:
http://www.csc.kth.se/~jakobn/openings/D-2012-0444-Eng.php

Informal enquiries about these positions are welcome.

With best regards,
Jakob Nordstrom


Jakob Nordström, Assistant 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/